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!


CI

CVC4 at SyGuS-COMP 2016


SyGuS-COMP 2016

Competing Binary:  StarExec Binary

Tracks Entered


Track Awards