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 from a language other than C or C++
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 Java
