Package profile
deal-solver
- Summary: z3-powered solver (theorem prover) for deal.
- Author: Gram
- Homepage: https://github.com/life4/deal-solver
- Source: https://github.com/life4/deal-solver (Repo profile)
- Number of releases: 3
- First release: 0.1.0 on 2021-07-07
- Latest release: 0.1.2 on 2023-09-28
Releases
PyPI Downloads
Dependencies
Deal-solver has 13 dependencies, 11 of which optional.| Dependency | Optional |
|---|---|
| astroid | false |
| z3-solver | false |
| flake8 | true |
| flake8-bugbear | true |
| flake8-commas | true |
| flake8-quotes | true |
| hypothesis | true |
| isort | true |
| mypy | true |
| pytest | true |
| pytest-cov | true |
| pytest-xdist | true |
| unify | true |