PyPI page
Home page
Author:
Gram
License:
MIT
Summary:
z3-powered solver (theorem prover) for deal.
Latest version:
0.1.2
Required dependencies:
astroid
|
z3-solver
Optional dependencies:
flake8
|
flake8-bugbear
|
flake8-commas
|
flake8-quotes
|
hypothesis
|
isort
|
mypy
|
pytest
|
pytest-cov
|
pytest-xdist
|
unify
Downloads last day:
13
Downloads last week:
69
Downloads last month:
265