sat-solver@1.2.0 vulnerabilities
This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s
-
latest version
1.3.0
-
latest non vulnerable version
-
first published
2 years ago
-
latest version published
6 months ago
-
licenses detected
- >=0
Direct Vulnerabilities
No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.
Does your project rely on vulnerable package dependencies?Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.