4 This is a distribution of the CVC3 source code. Its use is governed by the
5 terms set forth in the accompanying file \ref LICENSE.
7 For instructions on compiling and installing the code, see \ref INSTALL.
9 Other information and related links can be found at the CVC3 home
13 http://www.cs.nyu.edu/acsys/cvc3