CVC4: A new, re-designed SMT (Satisfiability Modulo Theories) solver released! - discu.eu

Reddit

CVC4: A new, re-designed SMT (Satisfiability Modulo Theories) solver released! http://cvc4.cs.nyu.edu/web/ 6 comments 11/12/2012 compsci

CVC4: A new, re-designed SMT (Satisfiability Modulo Theories) solver released! http://cvc4.cs.nyu.edu/web/ 10 comments 11/12/2012 programming