MCMT: Model Checker Modulo Theories

THE NEW MCMT WEB SITE IS HERE