CVC version 1.0.0

d-m-bailey released this 05 Nov 15:33

· 37 commits to master since this release

38c74b0

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.

Assets 2