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!


Awards

SMT competitions

SMT Competition 2019

SMT Competition 2018

SMT Competition 2017

SMT Competition 2016

SMT Competition 2015

SMT Competition 2014

No SMT Competition in 2013