A minimalistic and high-performance SAT solver
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
minisat ဆိုတာ ဘာလဲ
minisat သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပြီး PolarGoose / niklasso က ထုတ်ဝေပါသည်။ C++ ဖြင့် ရေးသားထားပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
GitHub ပေါ်ရှိ source code (niklasso/minisat) တွင် ကြယ် ၁,၁၉၃ ပွင့် ရှိပါသည်။
GitHub ပေါ်ရှိ ပရောဂျက်ဖော်ပြချက်: “A minimalistic and high-performance SAT solver”
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
- တစ်နှစ်ကျော် အပ်ဒိတ် မထွက်ပါ
အတိုချုပ်: minisat သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Windows ကိရိယာ ဖြစ်ပါသည်။ အပ်ဒိတ်များ နှေးကွေးလာပါသည်။
minisat ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
လုံခြုံရေး အလေ့အကျင့်များ (OpenSSF Scorecard)
GitHub ပေါ်ရှိ niklasso/minisat repository ကို Open Source Security Foundation က အလိုအလျောက် စစ်ဆေးထားခြင်း ဖြစ်ပါသည်။ နောက်ဆုံးစစ်ဆေးသည့်နေ့ - ၂၀၂၆ နိုဝင်ဘာ ၂။
- Repository ထဲ binary ဖိုင် မရှိ၁၀
- လိုင်စင် ကြေညာထား၉
- Code review၀
- Static code analysis၀
- တက်ကြွစွာ ထိန်းသိမ်းနေ၀
- OpenSSF Best Practices တံဆိပ်၀
- လုံခြုံရေးမူဝါဒ၀
- Fuzzing၀
- Branch ကာကွယ်မှု၀
ဤအမှတ်သည် ပရောဂျက်ကို ဖန်တီးပုံနှင့် ထုတ်ဝေပုံကို အကဲဖြတ်ခြင်းဖြစ်ပြီး ပရိုဂရမ်ကို ထည့်သွင်းရန် လုံခြုံမလုံခြုံကို ပြောခြင်း မဟုတ်ပါ။ scorecard.dev
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 2.2နောက်ဆုံး | ၂၀၂၅ ဇူလိုင် ၁၃ | — | 64-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›winget install --id PolarGoose.minisat -eဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အခြားစနစ်များအတွက်လည်း ရနိုင်ပါသည်
brew install minisatအချက်အလက်
- ထုတ်ဝေသူ
- PolarGoose / niklasso
- လိုင်စင်
- MIT
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com/niklasso/minisat
- ရေးသားထားသည့် ဘာသာ
- C++
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 2.2
- ထုတ်ဝေသည့်နေ့
- ၂၀၂၅ ဇူလိုင် ၁၃
- စာရင်းထဲ ထည့်သည့်နေ့
- ၂၀၂၅ ဇူလိုင် ၁၃
- စာရင်းရှိ ဗားရှင်းများ
- 1
- GitHub ကြယ်
- ၁,၁၉၃
- GitHub fork များ
- ၄၂၂
- winget ID
- PolarGoose.minisat
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
မေးလေ့ရှိသောမေးခွန်းများ
minisat သည် အခမဲ့လား
ဟုတ်ပါသည်။ minisat သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (MIT လိုင်စင်)။
minisat ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
minisat ကို winget ဖြင့် ဘယ်လို ထည့်သွင်းရမလဲ
PowerShell သို့မဟုတ် Windows Terminal ကို ဖွင့်ပြီး ဤစာမျက်နှာရှိ winget command ကို run ပါ။ winget သည် တရားဝင် installer ကို ဒေါင်းလုဒ်လုပ်ပြီး မ run မီ ၎င်း၏ SHA256 hash ကို စစ်ဆေးပါသည်။
minisat သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
minisat ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။