sat-solver
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 release
- May 28, 2024
- Releases
- 11
- Known CVEs
- 0
- First release
- Oct 18, 2022
- License
- ISC
Activity
- Total releases
- 11
- Last 12 months
- 0
- Cadence
- ~daily
- Dependencies
- 4
Releases per month
last 12 monthsRelease mix
- minor 3
- patch 7
Depends on
1.3.0-
colorful-cli-logger
^1.0.2
-
commander
^12.1.0
-
logic-solver
^2.0.1
-
req-package-json
^2.1.4
Used by
Nothing tracked depends on this yet.
| Version | Released | |
|---|---|---|
1.3.0
minor
|
1.3.0
minor
Dependencies (4)
|
|
1.2.4
patch
|
1.2.4
patch
Dependencies (1)
|
|
1.2.3
patch
|
1.2.3
patch
Dependencies (1)
|
|
1.2.2
patch
|
1.2.2
patch
Dependencies (1)
|
|
1.2.1
patch
|
1.2.1
patch
Dependencies (1)
|
|
1.2.0
minor
|
1.2.0
minor
Dependencies (1)
|
|
1.1.0
minor
|
1.1.0
minor
Dependencies (1)
|
|
1.0.3
patch
|
1.0.3
patch
Dependencies (1)
|
|
1.0.2
patch
|
1.0.2
patch
Dependencies (1)
|
|
1.0.1
patch
|
1.0.1
patch
Dependencies (1)
|
|
1.0.0
initial
|
1.0.0
initial
Dependencies (1)
|