CVC4

CVC4 Downloads

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