Aquí figuran 1 versiones de minisat, desde 13 de julio de 2025 hasta la actual, 2.2. Cada una enlaza con los instaladores del propio desarrollador.
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 2.2Última versión | 13 de julio de 2025 | — | 64 bits ZIP |
minisat: descargar versiones anteriores
A minimalistic and high-performance SAT solver
- LicenciaCódigo abierto
- Versión2.2
- RequisitosWindows 10, 11
- Fecha de publicación13 de julio de 2025
- Estrellas en GitHub★ 1,2 mil