8000 GitHub - caioraposo/cvc5_pythonic_api: A Z3Py-compatible interface to cvc5
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

caioraposo/cvc5_pythonic_api

BranchesTags
 
 

Repository files navigation

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

About

A Z3Py-compatible interface to cvc5

Resources

Readme

License

View license
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Python 99.7%
  • Other 0.3%
0