An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Try CVC4 online!
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.