Difference between revisions of "User Manual"
From CVC4
(Created page with 'This manual includes lots of information about how to use CVC4. It is a work in-progress. =Obtaining CVC4= ==Obtaining binary packages== ==Obtaining sources== ==Building from s…') |
(→The CVC4 library ("in-memory") interface) |
||
| Line 20: | Line 20: | ||
==Using CVC4 in a C++ project== | ==Using CVC4 in a C++ project== | ||
==Using CVC4 in a C project== | ==Using CVC4 in a C project== | ||
| − | ==Using CVC4 | + | ==Using CVC4 from a language other than C or C++== |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
=Upgrading from CVC3 to CVC4= | =Upgrading from CVC3 to CVC4= | ||
==If you were using the text interfaces of CVC3== | ==If you were using the text interfaces of CVC3== | ||
==If you were using the library ("in-memory") interface of CVC3== | ==If you were using the library ("in-memory") interface of CVC3== | ||
Revision as of 20:04, 21 July 2011
This manual includes lots of information about how to use CVC4.
It is a work in-progress.
