Download

Download CVC

The current version of CVC is 1.0. This is an alpha release, which may be modified fairly frequently (e.g., to fix bugs). See the updates for changes. A Linux distribution is currently available:

cvc-linux-1.0a.tar.gz (updated May 15th, 2002)

For the benefit of other researchers and developers, a preliminary release of the source files for CVC is available. Please note that this is not for the faint of heart; it may require some work to get it to build on your system. We hope to provide an autoconf-based source distribution soon. Also, note that you must have the Gnu MP library, which supports arbitrary precision arithmetic, installed on your system. The default installation of GMP on Red Hat Linux does not have some features needed by CVC. Please follow these directions to install the suitable version of GMP.

cvc-linux-1.0a-src.tar.gz (updated May 15th, 2002)

CVC is released freely under this LICENSE.