CVC4

CVC4 Downloads

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