CVC4

An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

About
News
Downloads
Documentation
Publications
Awards
People
History
Third-Party Applications
Acknowledgements

Try CVC4 online!


19 June 2020

CVC4 1.8 Released

by Andres Noetzli

We are delighted to announce version 1.8 of CVC4, the open-source flagship SMT solver. It is a joint project led by Stanford University and the University of Iowa. It is available at http://cvc4.cs.stanford.edu.

New Features:

Improvements:

Changes:

We welcome feedback, feature requests, contributions, and collaborations. It is our hope that CVC4 will become a research platform for a broad and diverse set of users and developers. If you are interested in getting involved with the project, please contact a member of the development team.

The development of CVC4 is supported in part by the organizations listed in the Acknowledgements.

Downloads, documentation, tutorials, and more information are available at the CVC4 web site: http://cvc4.cs.stanford.edu/

-The CVC4 team