A minimalistic and high-performance SAT solver
پبلشر کی وضاحت (انگریزی)
minisat کیا ہے؟
minisat PolarGoose / niklasso کی جانب سے پیش کیا جانے والا اوپن سورس Windows سافٹ ویئر ہے۔ یہ C++ میں لکھا گیا ہے۔
انسٹالیشن اور سسٹم کی ضروریات
پبلشر 64 بٹ Windows کے لیے پورٹیبل انسٹالر فراہم کرتا ہے۔ یہ انسٹال کیے بغیر چلتا ہے (پورٹیبل)۔
مقبولیت اور فائل اقسام
GitHub پر اس کے سورس کوڈ (niklasso/minisat) کو 1,193 اسٹارز ملے ہیں۔
GitHub پر پروجیکٹ کی وضاحت: “A minimalistic and high-performance SAT solver”
خوبیاں / خامیاں
خوبیاں
- اوپن سورس: کوئی بھی کوڈ دیکھ اور بِلڈ کر سکتا ہے
- پورٹیبل: انسٹالیشن کی ضرورت نہیں
خامیاں
- نیٹو ARM64 ورژن موجود نہیں
- ایک سال سے زیادہ عرصے سے کوئی اپ ڈیٹ نہیں
خلاصہ: minisat Windows کا ایک اوپن سورس ٹول ہے جو 64 بٹ کمپیوٹرز کے لیے دستیاب ہے۔ اس کی اپ ڈیٹس سست پڑ گئی ہیں۔
کیا minisat ڈاؤن لوڈ کرنا محفوظ ہے؟
- فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- SHA256 ہیش شائع شدہ ہے، اس لیے آپ فائل کی تصدیق کر سکتے ہیں:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· اس ہیش کی VirusTotal رپورٹ کھولیں - لنک ابھی چیک نہیں ہوا
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
سیکیورٹی طریقۂ کار (OpenSSF Scorecard)
Open Source Security Foundation کی جانب سے GitHub پر niklasso/minisat ریپازٹری کی خودکار جانچ، آخری بار 19 اکتوبر، 2026 کو چلائی گئی۔
- ریپازٹری میں بائنری فائلیں نہیں10
- لائسنس درج ہے9
- فعال دیکھ بھال0
- کوڈ ریویو0
- اسٹیٹک کوڈ تجزیہ0
- OpenSSF بیسٹ پریکٹسز بیج0
- سیکیورٹی پالیسی0
- فزنگ (Fuzzing)0
- برانچ کا تحفظ0
یہ اسکور بتاتا ہے کہ پروجیکٹ کیسے تیار اور ریلیز ہوتا ہے، یہ نہیں کہ پروگرام انسٹال کرنا محفوظ ہے یا نہیں۔ scorecard.dev
حالیہ ورژن
تمام 1 ورژن ›کمانڈ لائن سے انسٹالیشن
خاموش انسٹالیشن ›winget install --id PolarGoose.minisat -eمتعلقہ گائیڈ: winget کا استعمال: پروگرام انسٹال اور اپ ڈیٹ کریں
دوسرے سسٹمز کے لیے بھی دستیاب
brew install minisatمعلومات
- پبلشر
- PolarGoose / niklasso
- لائسنس
- MIT
- قیمت
- مفت
- سورس کوڈ
- github.com/niklasso/minisat
- پروگرامنگ زبان
- C++
- ضرورت
- Windows 11 / 10
- آرکیٹیکچر
- 64 بٹ
- انسٹالر
- پورٹیبل
- ورژن
- 2.2
- تاریخِ اجرا
- 13 جولائی، 2025
- فہرست میں شامل
- 13 جولائی، 2025
- درج ورژن
- 1
- GitHub اسٹارز
- 1,193
- GitHub فورکس
- 422
- winget ID
- PolarGoose.minisat
ریٹنگز اور تبصرے
ابھی کوئی تبصرہ نہیں۔ سب سے پہلے آپ ریٹ کریں۔
اکثر پوچھے جانے والے سوالات
کیا minisat مفت ہے؟
جی ہاں۔ minisat اوپن سورس سافٹ ویئر ہے (MIT لائسنس)۔
کیا minisat ڈاؤن لوڈ کرنا محفوظ ہے؟
فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے؛ ExeAtlas نہ فائل ہوسٹ کرتا ہے نہ اس میں کوئی تبدیلی کرتا ہے۔ اس کا SHA256 ہیش یہاں دکھائے گئے ہیش سے ملائیں، یا اس ہیش کی VirusTotal رپورٹ کھولیں۔
winget سے minisat کیسے انسٹال کریں؟
PowerShell یا Windows Terminal کھولیں اور اس صفحے پر دی گئی winget کمانڈ چلائیں۔ winget سرکاری انسٹالر ڈاؤن لوڈ کرتا ہے اور چلانے سے پہلے اس کا SHA256 ہیش جانچتا ہے۔
کیا minisat ARM (Windows on Arm) پر چلتا ہے؟
ARM64 ورژن موجود نہیں؛ Windows 11 on Arm ایمولیشن کے ذریعے 64 بٹ ورژن چلا سکتا ہے۔
کیا minisat ایڈمنسٹریٹر کی اجازت کے بغیر استعمال ہو سکتا ہے؟
جی ہاں، یہ پورٹیبل ہے: ان زِپ کریں اور چلائیں۔