NanoByte.SatSolver
CDCL Boolean Satisfiability Solver
Activity
- Latest release
- 4mo ago
- Total releases
- 9
- Cadence
- ~8 months
- Last 12 months
- 2
Details
- License
- MIT
- First release
- Feb 20, 2019
| Version | Released | |
|---|---|---|
0.5.0
minor
|
0.5.0
minor
Dependencies (2)
|
|
0.4.0
minor
|
0.4.0
minor
Dependencies (1)
|
|
0.3.2
patch
|
0.3.2
patch
|
|
0.3.1
patch
|
0.3.1
patch
|
|
0.3.0
minor
|
0.3.0
minor
|
|
0.2.0
minor
|
0.2.0
minor
|
|
0.1.2
patch
|
0.1.2
patch
Dependencies (2)
|
|
0.1.1
patch
|
0.1.1
patch
Dependencies (2)
|
|
0.1.0
initial
|
0.1.0
initial
Dependencies (2)
|