CVC4 is the new version, the fifth generation of this validity checker line that is now celebrating sixteen years of heritage. It represents a complete re-evaluation of the core architecture to be both performant and to serve as a cutting-edge research vehicle for the next several years.
Extracted automatically from Cvc4 homepage
brew install cvc4
The following dependency will be installed if you install Cvc4: