Estão listadas 1 versões de minisat, de 13 de julho de 2025 até a atual, 2.2. Cada uma aponta para os instaladores do próprio desenvolvedor.
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 2.2Última versão | 13 de julho de 2025 | — | 64 bits ZIP |
minisat: baixar versões antigas
A minimalistic and high-performance SAT solver
- LicençaCódigo aberto
- Versão2.2
- RequisitosWindows 10, 11
- Lançamento13 de julho de 2025
- Estrelas no GitHub★ 1,2 mil