Announcing the release of CVC4, version 1.0

We are pleased to announce the first public release of CVC4, version 1.0, the open-source flagship SMT solver developed at New York University and the University of Iowa, available at http://cvc4.cs.nyu.edu. CVC4 is the latest in the CVC series of SMT…

Fork me on GitHub