A minimalistic and high-performance SAT solver
Utgivarens beskrivning (engelska)
Vad är minisat?
minisat från PolarGoose / niklasso är programvara med öppen källkod för Windows. Programmeringsspråk: C++.
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars (Portabel). Programmet körs utan installation (portabelt).
Popularitet och filtyper
Källkoden på GitHub (niklasso/minisat) har 1 193 stjärnor.
Projektbeskrivning på GitHub: “A minimalistic and high-performance SAT solver”
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
Nackdelar
- Ingen inbyggd ARM64-version
- Ingen uppdatering på över ett år
Kort sagt: minisat är ett verktyg med öppen källkod för Windows för datorer med 64-bitars. Uppdateringarna har blivit glesare.
Är det säkert att ladda ner minisat?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Säkerhetsrutiner (OpenSSF Scorecard)
Automatiska kontroller av förrådet niklasso/minisat på GitHub, gjorda av Open Source Security Foundation, senast 19 oktober 2026.
- Inga binärfiler i förrådet10
- Licens angiven9
- Aktivt underhållet0
- Kodgranskning0
- Statisk kodanalys0
- OpenSSF Best Practices-märke0
- Säkerhetspolicy0
- Fuzzing0
- Grenskydd0
Poängen bedömer hur projektet utvecklas och släpps, inte om programmet är säkert att installera. scorecard.dev
Senaste versionerna
Alla 1 versioner ›| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 2.2Senaste | 13 juli 2025 | — | 64-bitars ZIP |
Installera från kommandoraden
Tyst installation ›winget install --id PolarGoose.minisat -eRelaterad guide: Så använder du winget: installera och uppdatera
Även för andra system
brew install minisatInformation
- Utgivare
- PolarGoose / niklasso
- Licens
- MIT
- Pris
- Gratis
- Källkod
- github.com/niklasso/minisat
- Programmeringsspråk
- C++
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- Portabel
- Version
- 2.2
- Släppt
- 13 juli 2025
- I katalogen sedan
- 13 juli 2025
- Listade versioner
- 1
- GitHub-stjärnor
- 1 193
- GitHub-forkar
- 422
- winget-ID
- PolarGoose.minisat
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Vanliga frågor
Är minisat gratis?
Ja. minisat är programvara med öppen källkod under licensen MIT.
Är det säkert att ladda ner minisat?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Hur installerar jag minisat med winget?
Öppna PowerShell eller Windows Terminal och kör winget-kommandot som visas på den här sidan. winget laddar ner den officiella installationsfilen och kontrollerar SHA256-hashen innan den körs.
Fungerar minisat på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Kan jag använda minisat utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.