API Documentation 

In addition to using cvc5 as a binary , cvc5 features APIs for several different programming languages. While the C++ API is considered the primary interface to cvc5, both the Java API and the base Python API implement a thin wrapper around it. Additionally, a more pythonic Python API is available at https://github.com/cvc5/cvc5_pythonic_api and documented here .