CVC3: README Source 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 */