CVC4 tutorial to run at CADE-24

Our tutorial entitled “Becoming a power user of SMT: The CVC4 solver, how it works, and how best to use it” was just accepted to run at CADE-24 in June 2013 in Lake Placid, NY.  We are excited to have…

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