Logo

An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

View on GitHub
Downloads
Documentation
People
Publications
Awards
Third Party Applications
Acknowledgements

Try cvc5 online!

License: BSD
CI
Coverage

People

Project Leaders

Clark Barrett (Stanford University)
Cesare Tinelli (University of Iowa)

Senior Technical Leads

Haniel Barbosa (Universidade Federal de Minas Gerais)
Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)
Andrew Reynolds (University of Iowa)

Current Developers

Martin Brain (University of Oxford and City University of London)
Gereon Kremer (Stanford University)
Hanna Lachnitt (Stanford University)
Abdalrhman Mohamed (University of Iowa)
Mudathir Mohamed (University of Iowa)
Andres Nötzli (Stanford University, Amazon)
Alex Ozdemir (Stanford University)
Ying Sheng (Stanford University)
Yoni Zohar (Stanford University, Bar Ilan University)