deal-solver
z3-powered solver (theorem prover) for deal.
Activity
- Latest release
- 2y ago
- Total releases
- 3
- Cadence
- ~1.1 years
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Jul 07, 2021
Releases
| Version | Released | |
|---|---|---|
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
initial
|