Base Python API 

This is the base Python API. It is implemented on top of the C++ API and mirrors the C++ API .

For a higher-level, more pythonic programming experience, cvc5 provides the pythonic API .