CVC3

Go to the documentation of this file.
00001 /*!\page README README
00002
00003
00004 This is a distribution of the CVC3 source code.  Its use is governed by the
00005 terms set forth in the accompanying file \ref LICENSE.
00006
00007 For instructions on compiling and installing the code, see \ref INSTALL.
00008
00009 Other information and related links can be found at the CVC3 home
00010 page:
00011
00012 <pre>
00013    http://www.cs.nyu.edu/acsys/cvc3
00014 </pre>
00015
00016 */