deal-solver

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: 11
Downloads last week: 64
Downloads last month: 204