The latest version of deal-solver with no known security vulnerabilities is 0.1.2. We recommend installing version 0.1.2.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.1.2 at Sept. 28, 2023
- License
-
MIT (MIT License)
Description
z3-powered solver (theorem prover) for deal.
No known vulnerabilities found
Has known vulnerabilities