API Documentation 

Alternatively to using cvc5 as a binary , cvc5 can be integrated at the back end of other tools via one of its rich and comprehensive APIs.

The primary interface of cvc5 is its C++ API . Its C API , Java API and base Python API implement a thin wrapper around the C++ API. In addition to the base Python API, cvc5 also provides a more pythonic Python API at https://github.com/cvc5/cvc5_pythonic_api , documented here .