1/*!\page README README
2
3
4This is a distribution of the CVC3 source code.  Its use is governed by the
5terms set forth in the accompanying file \ref LICENSE.
6
7For instructions on compiling and installing the code, see \ref INSTALL.
8
9Other information and related links can be found at the CVC3 home
10page:
11
12<pre>
13   http://www.cs.nyu.edu/acsys/cvc3
14</pre>
15
16*/
17