Logo

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

Try cvc5 online!

View on GitHub
Downloads
Documentation
Tutorials
Blog
Join the Conversation
People
Publications
Awards
Third Party Applications
Acknowledgements
Newsletter

GitHub LinkedIn Twitter Facebook

License: BSD
CI
Coverage

Awards

Competitions

SMT-COMP

  SMT-COMP 2026 (details)

  SMT-COMP 2025 (details)

  SMT-COMP 2024 (details)

  SMT-COMP 2023 (details)

  SMT-COMP 2022 (details)

  SMT-COMP 2021 (details)