A minimalistic and high-performance SAT solver
Lýsing útgefanda (enska)
Hvað er minisat?
Útgefandi forritsins minisat er PolarGoose / niklasso. Það er opinn hugbúnaður fyrir Windows. Forritunarmál: C++.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Vinsældir og skráargerðir
Grunnkóðinn á GitHub (niklasso/minisat) hefur fengið 1.193 stjörnur.
Lýsing verkefnisins á GitHub: “A minimalistic and high-performance SAT solver”
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
Gallar
- Engin sérstök ARM64-útgáfa
- Engin uppfærsla í meira en ár
Í stuttu máli: Forritið minisat er opinn hugbúnaður fyrir Windows (64 bita). Dregið hefur úr uppfærslum.
Er óhætt að sækja forritið minisat?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Öryggisvenjur (OpenSSF Scorecard)
Sjálfvirkar athuganir Open Source Security Foundation á gagnasafninu niklasso/minisat á GitHub, síðast keyrðar 19. október 2026.
- Engar keyrsluskrár í gagnasafninu10
- Leyfi tilgreint9
- Virkt viðhald0
- Kóðarýni0
- Kyrrstæð kóðagreining0
- OpenSSF Best Practices-merki0
- Öryggisstefna0
- Slembiprófanir (fuzzing)0
- Vernd greina0
Einkunnin metur hvernig verkefnið er þróað og gefið út, ekki hvort óhætt sé að setja forritið upp. scorecard.dev
Nýlegar útgáfur
Allar 1 útgáfurnar ›| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 2.2Nýjast | 13. júlí 2025 | — | 64 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id PolarGoose.minisat -eTengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Einnig fyrir önnur stýrikerfi
brew install minisatUpplýsingar
- Útgefandi
- PolarGoose / niklasso
- Leyfi
- MIT
- Verð
- Ókeypis
- Grunnkóði
- github.com/niklasso/minisat
- Forritunarmál
- C++
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 2.2
- Gefið út
- 13. júlí 2025
- Bætt í skrána
- 13. júlí 2025
- Skráðar útgáfur
- 1
- Stjörnur á GitHub
- 1.193
- Kvíslar á GitHub
- 422
- winget-auðkenni
- PolarGoose.minisat
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Algengar spurningar
Er minisat ókeypis?
Já. Forritið minisat er opinn hugbúnaður með leyfinu MIT.
Er óhætt að sækja forritið minisat?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Hvernig er minisat sett upp með winget?
Opnið PowerShell eða Windows Terminal og keyrið winget-skipunina á þessari síðu. winget sækir opinbera uppsetningarforritið og athugar SHA256-gildi þess áður en það er keyrt.
Keyrir minisat á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Er hægt að nota minisat án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.