CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
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
*/
Generated on Mon Sep 15 2014 15:00:54 for CVC3 by
1.8.7