minisat-ohjelmasta on luettelossa 1 versio, ensimmäinen 13. heinäkuuta 2025 ja uusin 2.2. Jokainen versio linkittää julkaisijan omiin asennustiedostoihin.
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 2.2Uusin | 13. heinäkuuta 2025 | — | 64-bittinen ZIP |
minisat: vanhemmat versiot ja versiohistoria
A minimalistic and high-performance SAT solver
- LisenssiAvoin lähdekoodi
- Versio2.2
- VaatimuksetWindows 10, 11
- Julkaistu13. heinäkuuta 2025
- GitHub-tähdet★ 1,2 t.