General Documentation

• Getting Started
• Input Languages
• API (1.8 release)
  • C++ API
  • C++ API Examples (files with -new.cpp suffix)
  • Python API
  • Python API Examples

Theory Reference Pages

• Datatypes
• Sets and Relations
• Separation Logic

Old Documentation Sources

The following sources are partially outdated, but could still be useful in some cases. General documentation is available in the CVC4 wiki which includes the CVC4 user manual and various tutorials.