cvc4

Open-source automatic theorem prover for SMT

Formula was removed
Last versions were:
1.4HEAD

Homepage:https://cvc4.cs.nyu.edu/

Dependencies

cvc4 requires the following formula to be installed:

Formula history

Andrew Jankecvc4: boneyard
Adam C. Foltzercvc4: add test to expose current bug
Viktor Szakatscvc4: use https url
Mike McQuaidcvc4: disable homepage https (failing on 10.11).
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Viktor Szakatscvc4: use https url and homepage
Mike McQuaidcvc4 1.4 (new formula)