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!


Third-Party Applications

The following projects use CVC4:

If you use CVC4, please contact us and we’ll add your application here!