CVC4 1.5 released

We are delighted to announce version 1.5 of CVC4, the open-source flagship SMT solver developed at Stanford University, New York University and the University of Iowa, available at http://cvc4.cs.stanford.edu. Version 1.5 now supports unsat cores, proofs (for uninterpreted functions, arrays and…

Fork me on GitHub