หน้านี้รวบรวม minisat ไว้ 1 เวอร์ชัน ตั้งแต่ 13 กรกฎาคม 2568 จนถึงเวอร์ชันปัจจุบัน 2.2 ทุกเวอร์ชันลิงก์ไปยังไฟล์ตัวติดตั้งของผู้เผยแพร่เอง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 2.2ล่าสุด | 13 กรกฎาคม 2568 | — | 64 บิต ZIP |
A minimalistic and high-performance SAT solver