CVC3  2.4.1
README
Go to the documentation of this file.
1 /*!\page README README
2 
3 
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.
6 
7 For instructions on compiling and installing the code, see \ref INSTALL.
8 
9 Other information and related links can be found at the CVC3 home
10 page:
11 
12 <pre>
13  http://www.cs.nyu.edu/acsys/cvc3
14 </pre>
15 
16 */