A minimalistic and high-performance SAT solver
وصف الناشر (الإنجليزية)
ما هو برنامج minisat؟
برنامج minisat مخصص لنظام Windows، وهو مفتوح المصدر، وناشره PolarGoose / niklasso. لغة البرمجة المستخدمة في تطويره: C++.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت. يعمل دون تثبيت (نسخة محمولة).
الشعبية وأنواع الملفات
عدد نجوم مستودعه على 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 ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
ممارسات الأمان (OpenSSF Scorecard)
فحوص آلية أجرتها مؤسسة Open Source Security Foundation على مستودع niklasso/minisat في GitHub، وكان آخر تشغيل لها في 19 أكتوبر 2026.
- لا ملفات ثنائية في المستودع10
- ترخيص مُعلَن9
- صيانة نشطة0
- مراجعة الشيفرة0
- تحليل ثابت للشيفرة0
- شارة أفضل ممارسات OpenSSF0
- سياسة أمان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
- PolarGoose.minisat
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
الأسئلة الشائعة
هل برنامج minisat مجاني؟
نعم. برنامج minisat مفتوح المصدر ويخضع لترخيص MIT.
هل تحميل minisat آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
كيف أثبّت minisat باستخدام winget؟
افتح PowerShell أو Windows Terminal وشغّل أمر winget المعروض في هذه الصفحة. ينزّل winget ملف التثبيت الرسمي ويتحقق من بصمة SHA256 قبل تشغيله.
هل يعمل minisat على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
هل يمكن استخدام minisat دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.