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!


General Documentation

Theory Reference Pages

More Documentation Sources

General documentation is available in the CVC4 wiki which includes the CVC4 user manual and various tutorials.