Hier sind 1 Versionen von minisat aufgeführt, von 13. Juli 2025 bis zur aktuellen 2.2. Jede verweist auf die Installationsdateien des Herstellers.
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 2.2Aktuell | 13. Juli 2025 | — | 64-Bit ZIP |
A minimalistic and high-performance SAT solver