MiniSat is a comparatively small SAT solver with documentation (through the following paper). The first version was just above 600 lines while containing many then-desirable features (conflict-clause recording, conflict-driven backjumping, VSIDS dynamic variable order, two-literal watch scheme), and even extensions for incremental SAT and for non-clausal constraints over boolean variables.
The current MiniSat v2 supports variable elimination style simplification, too.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 2.2.1+20200902-bp155.3.12 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 2.2.1+20200902-bp154.1.51 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 2.2.0+20130925-bp153.1.17 info | GA Release | 2021-03-06 | 15 SP3 |
|
|
| 2.2.0+20130925-bp152.3.16 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
| 2.2.0+20130925-bp151.3.1 info | GA Release | 2019-07-16 | 15 SP1 |
|
|
| 2.2.0+20130925-bp151.2.16 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
| 2.2.0+20130925-bp150.2.4 info | GA Release | 2018-07-30 | 15 |
|
|