ఇక్కడ minisat 1 వెర్షన్లు ఉన్నాయి, 13 జులై, 2025 నుంచి ప్రస్తుత 2.2 వరకు. ప్రతి వెర్షన్ లింక్ ప్రచురణకర్త సొంత ఇన్స్టాలర్ ఫైల్లకే వెళ్తుంది.
| వెర్షన్ | తేదీ | సైజ్ | ఫైల్లు |
|---|---|---|---|
| 2.2తాజా | 13 జులై, 2025 | — | 64-బిట్ ZIP |
A minimalistic and high-performance SAT solver