An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
View on GitHub
Downloads
Documentation
Tutorials
Blog
Join the Conversation
People
Publications
Awards
Third Party Applications
Acknowledgements
Newsletter
Newsletter
Get cvc5’s updates, no more than once a month. We respect your inbox! Join our cvc5-newsletter Google Group to get the latest newsletter delivered to your inbox. Although we use Google Groups to send out our newsletter, members cannot post to the group. The only posts/emails will be the newsletter. Questions about newsletter content can be posted on our GitHub Discussions.