The latest version of vega-solver with no known security vulnerabilities is 0.1.0. We recommend installing version 0.1.0.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.1.0 at April 11, 2020
- License
-
MIT (MIT License)
Description
All sat style yet another theorem solver
No known vulnerabilities found
Has known vulnerabilities