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
Activity
- Latest release
- 2y ago
- Total releases
- 11
- Cadence
- ~daily
- Last 12 months
- 0
Details
- License
- ISC
- First release
- Oct 18, 2022
| 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)
|