CVC4

CVC4 Downloads

Stable versions: Development versions:
Source tarball (Clang/Mac users, see note*) Source tarballs
Linux x86_64 binaries Linux x86_64 binaries
macOS homebrew formula macOS homebrew formula
Windows (64-bit) binaries Windows (64-bit) binaries
Linux x86_64 Competition binaries