Home
Documentation
Download
Support
Publications
People
Related Links
Acknowledgments
Previous Releases
2.4 (SMT-COMP 2011 release)
Documentation
Source distribution (tar.gz)
32-bit Linux static library and executable (optimized)
32-bit Linux dynamic library and executable (optimized)
64-bit Linux static library and executable (optimized)
64-bit Linux dynamic library and executable (optimized)
32-bit Windows build (optimized)
[
zip
]
64-bit Intel Mac OS X (Snow Leopard) static library and executable (optimized)
64-bit Intel Mac OS X (Snow Leopard) dynamic library and executable (optimized)
32-bit Linux static library and executable (debug build, slow)
32-bit Linux dynamic library and executable (debug build, slow)
64-bit Linux static library and executable (debug build, slow)
64-bit Linux dynamic library and executable (debug build, slow)
32-bit Windows build (debug build, slow)
[
zip
]
64-bit Intel Mac OS X (Snow Leopard) static library and executable (debug build, slow)
64-bit Intel Mac OS X (Snow Leopard) dynamic library and executable (debug build, slow)
2.2
Documentation
Source distribution (tar.gz)
Optimized 32-bit Linux executable
Optimized 32-bit Linux dynamic library
Optimized 64-bit Linux executable
Optimized 64-bit Linux dynamic library
Optimized 32-bit Windows executable
32-bit Linux executable with debug information (slow)
32-bit Linux dynamic library with debug information (slow)
64-bit Linux executable with debug information (slow)
64-bit Linux dynamic library with debug information (slow)
32-bit Windows executable with debug information (slow)
2.1
Documentation
Source distribution (tar.gz)
32-bit Linux executable with debug information (slow)
32-bit Optimized linux executable
64-bit Linux executable with debug information (slow)
64-bit Optimized linux executable
2.0 (SMT-COMP 2009 release)
Source distribution (tar.gz)
32-bit Optimized linux executable
1.5 (SMT-COMP 2008 release)
Documentation
Source distribution (tar.gz)
32-bit Linux executable with debug information (slow)
32-bit Optimized linux executable
1.2.1
Source distribution (tar.gz)
Linux executable with debug information (slow)
Optimized linux executable
1.2 (SMT-COMP 2007 release)
cvc3-1.2.tar.gz
Optimized linux executable
1.1
cvc3-1.1.tar.gz
Linux executable with debug information (slow)
Optimized linux executable
1.0
cvc3-1.0.tar.gz
Linux executable with debug information (slow)
Optimized linux executable