CVC version 1.1.5

autoreconf -vif
./configure --disable-nls --prefix=<install_path>
make install

CVC version 1.1.4

Follow README.md instructions to install from repo.

CVC version 1.1.3

Follow the README.md instructions to install.
cvc-1.1.3.tar.gz

CVC version 1.1.1

See README.md for installation instructions.

CVC v1.1.0

Preliminary introduction of model checks.
Currently only supports Vb.
No check_cvc support

download tarball
extract
cd cvc-1.1.0
./configure --disable-nls
make install

CVC version 1.0.0

First official release: Same as 0.17.35
cvc-1.0.0.tar.gz

./configure --disable-nls --prefix=<install_directory>
make install

if check_cvc doesn't compile, check_cvc.py can be run from IDLE.

CVC 0.17.35 beta

Changes for version 0.17.35 part 3

CVC: Removed unused code
CVC: Removed cleanup message

CVC 0.17.34 alpha

cvc-0.17.34.tar.gz

CVC 0.17.33 beta

tar xzf cvc-0.17.33.tar.gz
cd cvc-0.17.33
./configure --disable-nls
make install

cvc-0.17.33.tar.gz

CVC 0.17.32 beta

cvc-0.17.32.tar.gz