We are delighted to announce version 1.4 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.4 features a new decision procedure for a theory of finite sets, numerous…

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…

We are delighted to announce version 1.2 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. In version 1.2, real arithmetic now has three simplex solvers for exact precision linear…

We are delighted to announce version 1.1 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.1 includes numerous important bug fixes, performance improvements, and usability improvements over the previous…

As mentioned on the users’ mailing list the other day, Win32 binaries are now available for our nightly development builds (and will be available for the next stable release, coming soon). Additionally, Mac builds are available for the 1.0 release and…

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…

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…