مقبول: ڈیٹا اپ ڈیٹ: 10 نومبر، 2026

زمرے

انٹرنیٹ1,380
رابطہ324
آڈیو اور ویڈیو915
گرافکس اور ڈیزائن554
آفس اور پروڈکٹیویٹی1,139
ڈویلپر ٹولز3,194
AI ٹولز559
سیکیورٹی اور پرائیویسی396
سسٹم ٹولز3,164
گیمز534
تعلیم اور سائنس240
نیٹ ورک اور IT290

minisat کے پرانے ورژن – تمام ورژنز

A minimalistic and high-performance SAT solver

یہاں minisat کے 1 ورژن درج ہیں، 13 جولائی، 2025 سے لے کر موجودہ 2.2 تک۔ ہر ورژن پبلشر کی اپنی انسٹالر فائلوں سے منسلک ہے۔

2025: 1 1 25
ورژنتاریخسائزفائلیں
2.2تازہ ترین 13 جولائی، 2025 — 64 بٹ ZIP

شیئر کریں