/cvc5_z3py_compat

A Z3Py-compatible interface to cvc5

Primary LanguagePythonOtherNOASSERTION

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