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
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 is released freely under this LICENSE.