CVC4

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

About
News
Downloads
Publications
People
History
Third-Party Applications
Acknowledgements

Try CVC4 online!


Releases

Stable Versions


Source tarball


Linux 64-bit binaries


macOS homebrew tap


Windows 64-bit binaries


Development Versions

Updated nightly.


Source tarball


Linux 64-bit binaries


macOS homebrew tap


Windows 64-bit binaries


Linux 64-bit competition binaries