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 2020


SMT-COMP 2020

Competing Version:  GitHub Branch smtcomp2020
System Description:  CVC4 at SMT-COMP 2020

Tracks Entered


Track Awards


Single Query Track

Incremental Track

Model Validation Track

Unsat Core Track

Competition-Wide Awards


Biggest Lead

Largest Contribution