Madym is a C++ toolkit for quantative DCE-MRI and DWI-MRI analysis developed in theQBI Labat the University of Manchester. It comprises a set of command line tools and a graphical user-interface based on an extendable C++ library. It is cross-platform, and requires few external libraries to...
Project leader: Konstantin Korovin (konstantin.korovin[@]manchester.ac.uk), The University of Manchester, UK Konstantin Korovin: core, instantiation, resolution, finite model finding, preprocessing, indexing, QBF André Duarte: superposition, AC reasoning, simplifications, perfect discrimination trees, SMT...