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
CVC4 at CASC 24 (2013)
Competing Version: GitHub Branch 1.2
Tracks Entered
-
First-Order Theorems (FOF)
-
First-Order Non-Theorems (FNT)
Track Awards
3rd place in the FNT Track