CVC4 1.7 released

We are delighted to announce version 1.7 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. New Features: Proofs: Support for bit-vector proofs with eager bitblasting (older…

Fork me on GitHub