UNIVERSITA DEGLI STUDI DI MILANO Dipartimento di Scienze dell Informazione MCMT v1 1 1 User Manual Silvio Ghilardi Silvio Ranise MCMT v1 1 1 User Manual Silvio Ghilardi and Silvio Ranise Dipartimento di Scienze dell Informazione Universit degli Studi di Milano Italy Fondazione Bruno Kessler Trento Italy December 20 2011 Abstract This document is addressed to MCMT users it explain from the beginning MCMT input specifi
UNIVERSIT DEGLI STUDI DI MILANO Dipartimento di Matematica MCMT v2 0 User Manual MCMT v2 0 User Manual Silvio Ghilardi September 30 2012 Abstract This document is addressed to MCMT users it explains how to write MCMT input specifications illustrates some common settings and heuristics and gives useful advices This document is an enlargement of the previous MCMT v 1 1 User Manual by S Ghilardi and S Ranise an Appendix summarizing some n
UNIVERSIT DEGLI STUDI DI MILANO Dipartimento di Matematica MCMT v2 5 User Manual MCMT v 2 5 User Manual Silvio Ghilardi March 28 2014 Abstract This document is addressed to MCMT users it explains how to write MCMT input specifications illustrates some common settings and heuristics and gives useful advices The document has been largely rewritten from the User Manual of previous releases of MCMT Contents 1 Introduction 2 Basic s