Open-source automatic theorem prover for SMT

Formula was removed
Last version was:
1.4 HEAD



cvc4 requires the following formula to be installed:

Formula history

Andrew Janke cvc4: boneyard
Adam C. Foltzer cvc4: add test to expose current bug
Viktor Szakats cvc4: use https url
Mike McQuaid cvc4: disable homepage https (failing on 10.11).
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Viktor Szakats cvc4: use https url and homepage
Mike McQuaid cvc4 1.4 (new formula)