Difference between revisions of "User Manual"

From CVC4
Jump to: navigation, search
(→‎CVC4 support for the SMT-LIB language)
(→‎The CVC4 library ("in-memory") interface)
Line 20: Line 20:
 
=The CVC4 library ("in-memory") interface=
 
=The CVC4 library ("in-memory") interface=
 
==Using CVC4 in a C++ project==
 
==Using CVC4 in a C++ project==
−
==Using CVC4 in a C project==
+
==Using CVC4 from Java==
−
==Using CVC4 from a language other than C or C++==
+
==The compatibility interface==
  
 
=Upgrading from CVC3 to CVC4=
 
=Upgrading from CVC3 to CVC4=

Revision as of 09:44, 2 October 2012

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 source

Compiling the prerequisites

Choosing a configuration

Building

Installing

CVC4's native input language

CVC4 support for the SMT-LIB language

See SMT-LIBv2 Compliance.

The CVC4 library ("in-memory") interface

Using CVC4 in a C++ project

Using CVC4 from Java

The compatibility interface

Upgrading from CVC3 to CVC4

If you were using the text interfaces of CVC3

If you were using the library ("in-memory") interface of CVC3

If you were using CVC3 from C

If you were using CVC3 from Java

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=User_Manual&oldid=3532"