User Manual

From CVC4
Revision as of 21:04, 21 July 2011 by Mdeters (Talk | contribs) (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…')

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Extensions to SMT-LIB that CVC4 supports

The CVC4 library ("in-memory") interface

Using CVC4 in a C++ project

Using CVC4 in a C project

Using CVC4 in a Java project

Using CVC4 in a C# project

Using CVC4 in a Perl project

Using CVC4 in a PHP project

Using CVC4 in a Python project

Using CVC4 in a OCaml project

Using CVC4 in a Ruby project

Using CVC4 in a TCL project

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

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