A minimalistic and high-performance SAT solver
Maelezo ya mchapishaji (Kiingereza)
minisat ni nini?
Programu minisat inachapishwa na PolarGoose / niklasso. Ni programu ya chanzo huria ya Windows. Imeandikwa kwa C++.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit. Inafanya kazi bila kusakinishwa (portable).
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (niklasso/minisat) una nyota 1,193.
Maelezo ya mradi kwenye GitHub: “A minimalistic and high-performance SAT solver”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
Hasara
- Hakuna toleo asili la ARM64
- Hakuna sasisho kwa zaidi ya mwaka mmoja
Kwa ufupi: minisat ni zana ya chanzo huria ya Windows kwa kompyuta za 64-bit. Masasisho yamepungua.
Je, ni salama kupakua minisat?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Mbinu za usalama (OpenSSF Scorecard)
Ukaguzi wa kiotomatiki wa hazina ya niklasso/minisat kwenye GitHub uliofanywa na Open Source Security Foundation, mara ya mwisho tarehe 19 Oktoba 2026.
- Hakuna faili za binary kwenye hazina10
- Leseni imetajwa9
- Unadumishwa kikamilifu0
- Ukaguzi wa msimbo0
- Uchambuzi tuli wa msimbo0
- Beji ya OpenSSF Best Practices0
- Sera ya usalama0
- Fuzzing0
- Ulinzi wa matawi0
Alama hii inapima jinsi mradi unavyoendelezwa na kutolewa, si kama programu ni salama kusakinisha. scorecard.dev
Matoleo ya karibuni
Toleo 1 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 2.2Jipya zaidi | 13 Julai 2025 | — | 64-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id PolarGoose.minisat -eMwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Pia kwa mifumo mingine
brew install minisatTaarifa
- Mchapishaji
- PolarGoose / niklasso
- Leseni
- MIT
- Bei
- Bure
- Msimbo chanzo
- github.com/niklasso/minisat
- Imeandikwa kwa
- C++
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- Portable
- Toleo
- 2.2
- Ilitolewa
- 13 Julai 2025
- Iliongezwa kwenye orodha
- 13 Julai 2025
- Matoleo yaliyoorodheshwa
- 1
- Nyota za GitHub
- 1,193
- Forks za GitHub
- 422
- Kitambulisho cha winget
- PolarGoose.minisat
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Maswali yanayoulizwa mara kwa mara
Je, minisat ni bure?
Ndiyo. minisat ni programu ya chanzo huria chini ya leseni ya MIT.
Je, ni salama kupakua minisat?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha minisat kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, minisat inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Je, minisat inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.