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.