CVC4

CVC4 Downloads


Stable versions:
Source tarball (Clang/Mac users, see note*)
 
Development versions:

*
Note: v1.4 src compiled with newer versions of Clang (default on latest OS X) doesn't work correctly.
Till a new release is made, please use the following: cvc4-1.4.x distribution tar ball (2016-01-03).
Other:
Solver status Coverage reports API documentation