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!


CVC4 at CASC 25 (2015)


CASC 25 (2015)

Competing Version:  CVC4---1.5.tgz

Tracks Entered


Track Awards


  1st place in the TFN Track
  2nd place in the TFA Track