Package search
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
- Number of releases: 3
- First release: 0.1.0 on 2021-07-07T14:55:44
- Latest release: 0.1.2 on 2023-09-28T13:31:20
| 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 |