Skip to content

Latest commit

 

History

History
19 lines (13 loc) · 517 Bytes

README.md

File metadata and controls

19 lines (13 loc) · 517 Bytes
Raw

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