A minimalistic and high-performance SAT solver
የአሳታሚው መግለጫ (እንግሊዝኛ)
minisat ምንድነው?
minisat ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው። አሳታሚው PolarGoose / niklasso ነው። የተጻፈው በC++ ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ተወዳጅነት እና የፋይል አይነቶች
በGitHub ላይ ያለው የምንጭ ኮድ (niklasso/minisat) 1,193 ኮከቦች አሉት።
በGitHub ላይ ያለው የፕሮጀክቱ መግለጫ: “A minimalistic and high-performance SAT solver”
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
- ከአንድ ዓመት በላይ ዝማኔ የለም
በአጭሩ: minisat ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው። ዝማኔዎቹ ቀንሰዋል።
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
- የOpenSSF Best Practices ባጅ0
- የደህንነት ፖሊሲ0
- Fuzzing0
- የቅርንጫፍ ጥበቃ0
ውጤቱ የሚለካው ፕሮጀክቱ እንዴት እንደሚገነባ እና እንደሚለቀቅ ነው እንጂ ፕሮግራሙን መጫን ደህንነቱ የተጠበቀ መሆኑን አይደለም። scorecard.dev
የቅርብ ጊዜ ስሪቶች
1 ስሪት ›| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 2.2የቅርብ ጊዜ | 13 ጁላይ 2025 | — | 64-bit ZIP |
ከትዕዛዝ መስመር ይጫኑ
ጸጥ ያለ ጭነት ›winget install --id PolarGoose.minisat -eተዛማጅ መመሪያ: winget እንዴት እንደሚጠቀሙ፦ ፕሮግራሞችን መጫን እና ማዘመን
ለሌሎች ሥርዓቶችም
brew install minisatመረጃ
- አሳታሚ
- PolarGoose / niklasso
- ፈቃድ
- MIT
- ዋጋ
- ነፃ
- የምንጭ ኮድ
- github.com/niklasso/minisat
- የተጻፈበት ቋንቋ
- C++
- የሚያስፈልገው
- Windows 11 / 10
- አርክቴክቸር
- 64-bit
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 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 በARM (Windows on Arm) ላይ ይሠራል?
የARM64 ስሪት የለም፤ Windows 11 on Arm የ64-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
minisatን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።