Aquí hi ha 1 versió de minisat, des de 13 de juliol del 2025 fins a l’actual, 2.2. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 2.2Darrera versió | 13 de juliol del 2025 | — | 64 bits ZIP |
minisat: baixar versions anteriors
A minimalistic and high-performance SAT solver
- LlicènciaCodi obert
- Versió2.2
- RequisitsWindows 10, 11
- Data de publicació13 de juliol del 2025
- Estrelles a GitHub★ 1,2 k