A minimalistic and high-performance SAT solver
د خپرونکي تشریح (انګليسي)
minisat څه شی دی؟
minisat د PolarGoose / niklasso له خوا د Windows خلاصه سرچینه سافټویر دی. په C++ ژبه لیکل شوی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (niklasso/minisat) ۱٬۱۹۳ ستوري لري.
په GitHub کې د پروژې تشریح: “A minimalistic and high-performance SAT solver”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
- له یو کال ډېر نه دی تازه شوی
لنډه دا چې: minisat د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه Windows وسیله ده. تازه کېدنې یې ورو شوې.
ایا د minisat ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
امنیتي کړنې (OpenSSF Scorecard)
په GitHub کې د niklasso/minisat زېرمې اتومات کتنې د Open Source Security Foundation له خوا؛ وروستی ځل په AP ۱۴۰۵ تله ۲۷.
- په زېرمه کې باینري فایلونه نشته۱۰
- جواز اعلان شوی۹
- په فعاله توګه ساتل کېږي۰
- د کوډ کتنه۰
- د کوډ ثابته شننه۰
- د OpenSSF Best Practices نښان۰
- امنیتي پالیسي۰
- Fuzzing ازموینه۰
- د برانچ ساتنه۰
دا نمره دا ارزوي چې پروژه څنګه جوړېږي او خپرېږي، نه دا چې د پروګرام نصبول خوندي دي که نه. scorecard.dev
وروستۍ نسخې
ټولې ۱ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 2.2وروستۍ | AP ۱۴۰۴ چنگاښ ۲۲ | — | 64-bit ZIP |
له کمانډ لاین نه نصب
چوپه نصب ›winget install --id PolarGoose.minisat -eاړوند لارښود: winget څنګه وکاروو: پروګرامونه نصب او تازه کړئ
د نورو سیستمونو لپاره هم
brew install minisatمعلومات
- خپرونکی
- PolarGoose / niklasso
- جواز
- MIT
- بیه
- وړیا
- سرچینه کوډ
- github.com/niklasso/minisat
- د پروګرام ژبه
- C++
- اړتیا
- Windows 11 / 10
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 2.2
- د خپرېدو نېټه
- AP ۱۴۰۴ چنگاښ ۲۲
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۴ چنگاښ ۲۲
- لېست شوې نسخې
- 1
- د GitHub ستوري
- ۱٬۱۹۳
- د GitHub فورکونه
- ۴۲۲
- winget ID
- PolarGoose.minisat
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
ډېرې پوښتل شوې پوښتنې
ایا minisat وړیا دی؟
هو. minisat خلاصه سرچینه سافټویر دی د MIT جواز لاندې.
ایا د minisat ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي، چې د خپرونکي خپل دی؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
minisat د winget په مرسته څنګه نصب کړم؟
PowerShell یا Windows Terminal پرانیزئ او هغه winget کمانډ وچلوئ چې په دې پاڼه کې ښودل شوی. winget رسمي نصبوونکی ډاونلوډوي او له چلولو مخکې یې SHA256 هش ګوري.
ایا minisat په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
ایا minisat بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.