MiniSat¶
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
homepage: http://minisat.se/
| version | toolchain |
|---|---|
2.2.0 |
GCC/9.3.0 |
20130925 |
GCC/9.3.0 |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)