A solver-agnostic library for SMT Formulae manipulation and solving


License
Apache-2.0
Install
pip install PySMT==0.9.6.dev65