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
Releases
Stable Versions
Development Versions
Updated nightly.
Linux 64-bit competition binaries