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

Acknowledgments

cvc5 is supported in part by the following organizations:

Any opinions, findings and conclusions or recommendations expressed in this site are those of the authors and do not necessarily reflect the views of the organizations listed above.