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!


CI

Homebrew tap for CVC4

Homebrew is a package manager for macOS. To install CVC4 using Homebrew, use the following commands in your terminal:

$ brew tap cvc4/cvc4
$ brew install cvc4/cvc4/cvc4

For more details and advanced options, please visit this page.