A minimalistic and high-performance SAT solver
Popis od výrobce (angličtina)
Co je minisat?
Program minisat vydává PolarGoose / niklasso. Jde o software pro Windows s otevřeným zdrojovým kódem. Programovací jazyk: C++.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Program funguje bez instalace (přenosná verze).
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (niklasso/minisat) má 1 193 hvězd.
Popis projektu na GitHubu: “A minimalistic and high-performance SAT solver”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
Nevýhody
- Chybí nativní sestavení ARM64
- Více než rok bez aktualizace
Ve zkratce: minisat je program pro Windows s otevřeným zdrojovým kódem; sestavení: 64bit. Aktualizace vycházejí stále méně často.
Je stažení programu minisat bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Bezpečnostní postupy (OpenSSF Scorecard)
Automatické kontroly repozitáře niklasso/minisat na GitHubu, které provádí Open Source Security Foundation; naposledy 19. října 2026.
- Bez binárních souborů v repozitáři10
- Uvedená licence9
- Aktivně udržováno0
- Revize kódu0
- Statická analýza kódu0
- Odznak OpenSSF Best Practices0
- Bezpečnostní zásady0
- Fuzzing0
- Ochrana větví0
Skóre hodnotí, jak se projekt vyvíjí a vydává, ne to, zda je instalace programu bezpečná. scorecard.dev
Poslední verze
Všechny verze (1) ›Instalace z příkazového řádku
Tichá instalace ›winget install --id PolarGoose.minisat -eSouvisející návod: Jak používat winget: instalace a aktualizace programů
Také pro jiné systémy
brew install minisatInformace
- Výrobce
- PolarGoose / niklasso
- Licence
- MIT
- Cena
- Zdarma
- Zdrojový kód
- github.com/niklasso/minisat
- Programovací jazyk
- C++
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- Přenosná verze
- Verze
- 2.2
- Datum vydání
- 13. července 2025
- Přidáno do katalogu
- 13. července 2025
- Verzí v katalogu
- 1
- Hvězdy na GitHubu
- 1 193
- Forky na GitHubu
- 422
- ID winget
- PolarGoose.minisat
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Časté otázky
Je program minisat zdarma?
Ano. minisat je program s otevřeným zdrojovým kódem (licence MIT); stažení i používání je zdarma.
Je stažení programu minisat bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat minisat přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Funguje minisat na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Lze program minisat používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.