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