Sign in Sign up
pypi

deal-solver

z3-powered solver (theorem prover) for deal.

Latest release
Sep 28, 2023
Releases
3
Known CVEs
0
First release
Jul 07, 2021
License
MIT
View on Pypi
Repository

Source

life4/deal-solver
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
3
Last 12 months
0
Cadence
~1.1 years
Dependencies
13

Releases per month

last 12 months

Release mix

  • patch 2
3 releases
Dependencies

Depends on

0.1.2
1–10 of 13

Used by

1
Releases
Version Released
0.1.2 patch
0.1.1 patch
0.1.0 initial