SMT (SAT modulo Theories)

vgl. http://www.smtcomp.org/2009/



Johannes Waldmann 2010-01-25