Package profile
deal-solver
- Summary: z3-powered solver (theorem prover) for deal.
- Author: Gram
- License: MIT License
- 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-07
- Latest release: 0.1.2 on 2023-09-28
- Latest release size: 46.8 KB (pure Python wheel)