A minimalistic and high-performance SAT solver
Popis od výrobcu (angličtina)
Čo je minisat?
Program minisat vydáva PolarGoose / niklasso. Ide o softvér pre Windows s otvoreným zdrojovým kódom. Programovací jazyk: C++.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Program funguje bez inštalácie (prenosná verzia).
Obľúbenosť a typy súborov
Zdrojový kód na GitHube (niklasso/minisat) má 1 193 hviezdičiek.
Popis projektu na GitHube: “A minimalistic and high-performance SAT solver”
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
Nevýhody
- Chýba natívne zostavenie ARM64
- Viac ako rok bez aktualizácie
V skratke: minisat je program pre Windows s otvoreným zdrojovým kódom; zostavenia: 64-bit. Aktualizácie vychádzajú čoraz menej často.
Je stiahnutie programu minisat bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Bezpečnostné postupy (OpenSSF Scorecard)
Automatické kontroly repozitára niklasso/minisat na GitHube, ktoré vykonáva Open Source Security Foundation; naposledy 19. októbra 2026.
- Bez binárnych súborov v repozitári10
- Uvedená licencia9
- Aktívne udržiavaný0
- Revízia kódu0
- Statická analýza kódu0
- Odznak OpenSSF Best Practices0
- Bezpečnostné zásady0
- Fuzzing0
- Ochrana vetiev0
Skóre hodnotí, ako sa projekt vyvíja a vydáva, nie to, či je inštalácia programu bezpečná. scorecard.dev
Posledné verzie
Všetky verzie (1) ›| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 2.2Najnovšia | 13. júla 2025 | — | 64-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id PolarGoose.minisat -eSúvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Aj pre iné systémy
brew install minisatInformácie
- Výrobca
- PolarGoose / niklasso
- Licencia
- MIT
- Cena
- Zadarmo
- Zdrojový kód
- github.com/niklasso/minisat
- Programovací jazyk
- C++
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 2.2
- Dátum vydania
- 13. júla 2025
- Pridané do katalógu
- 13. júla 2025
- Verzií v katalógu
- 1
- Hviezdičky na GitHube
- 1 193
- Forky na GitHube
- 422
- ID winget
- PolarGoose.minisat
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Časté otázky
Je program minisat zadarmo?
Áno. minisat je program s otvoreným zdrojovým kódom (licencia MIT); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu minisat bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Ako nainštalovať minisat cez winget?
Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.
Funguje minisat na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Dá sa program minisat používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.