Qui sono elencate 1 versione di minisat, dalla prima (13 luglio 2025) fino all’attuale 2.2. Ognuna rimanda ai file di installazione del produttore.
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 2.2Ultima versione | 13 luglio 2025 | — | 64 bit ZIP |
minisat: versioni precedenti da scaricare
A minimalistic and high-performance SAT solver
- LicenzaOpen source
- Versione2.2
- RequisitiWindows 10, 11
- Data di rilascio13 luglio 2025
- Stelle su GitHub★ 1,2K