cvc5's pythonic API

Development requirements

You'll need

• cvc5's standard python interface installed
• python's coverage package installed

Make targets

• test: runs documentation tests.
• coverage: runs documentation tests, measuring coverage. Look in the htmlcov directory for a detailed report.

Acknowledgements

This API is based on Z3's Python API: Z3Py, both in spirit and it code. It includes a substantial amount of Z3Py's source. You can find the license for Z3 in license/z3.txt