CVC4 1.3 released

We are delighted to announce version 1.3 of CVC4, the open-source flagship SMT solver developed at New York University and the University of Iowa, available at http://cvc4.cs.nyu.edu. Version 1.3 adds improved SMT-LIB support, a new decision procedure for string constraints, support…

Fork me on GitHub