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!


Acknowledgments

CVC4 is supported in part by the following organizations:

Any opinions, findings and conclusions or recommendations expressed in this site are those of the authors and do not necessarily reflect the views of the organizations listed above.