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 SMT-COMP 2015


SMT-COMP 2015

Competing Versions:
System Description:  SMT-COMP 2015 entry: CVC4 v1.5-prerelease

Tracks Entered


Track Awards


Main Track

Application Track

Competition-Wide Awards


Sequential Performance

Sequential Performance (industrial)

Parallel Performance

Parallel Performance (industrial)