A minimalistic and high-performance SAT solver
Udgiverens beskrivelse (engelsk)
Hvad er minisat?
minisat fra PolarGoose / niklasso er open source-software til Windows. Programmeringssprog: C++.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Programmet kører uden installation (portabelt).
Popularitet og filtyper
Kildekoden på GitHub (niklasso/minisat) har 1.193 stjerner.
Projektbeskrivelse på GitHub: “A minimalistic and high-performance SAT solver”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
Ulemper
- Ingen indbygget ARM64-version
- Ingen opdatering i over et år
Kort sagt: minisat er et værktøj med åben kildekode til Windows til pc’er med 64-bit. Opdateringerne er blevet sjældnere.
Er det sikkert at downloade minisat?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Sikkerhedspraksis (OpenSSF Scorecard)
Automatiske kontroller af repositoriet niklasso/minisat på GitHub, udført af Open Source Security Foundation og senest kørt den 19. oktober 2026.
- Ingen binære filer i repositoriet10
- Licens angivet9
- Aktivt vedligeholdt0
- Kodegennemgang0
- Statisk kodeanalyse0
- OpenSSF Best Practices-badge0
- Sikkerhedspolitik0
- Fuzzing0
- Beskyttede branches0
Scoren vurderer, hvordan projektet udvikles og udgives, ikke om programmet er sikkert at installere. scorecard.dev
Nyeste versioner
Alle 1 versioner ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 2.2Nyeste | 13. juli 2025 | — | 64-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›winget install --id PolarGoose.minisat -eRelateret vejledning: winget: installer og opdater programmer i Windows
Findes også til andre systemer
brew install minisatInformation
- Udgiver
- PolarGoose / niklasso
- Licens
- MIT
- Pris
- Gratis
- Kildekode
- github.com/niklasso/minisat
- Programmeringssprog
- C++
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 2.2
- Udgivet
- 13. juli 2025
- I kataloget siden
- 13. juli 2025
- Registrerede versioner
- 1
- GitHub-stjerner
- 1.193
- GitHub-forks
- 422
- winget-id
- PolarGoose.minisat
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Ofte stillede spørgsmål
Er minisat gratis?
Ja. minisat er open source-software under licensen MIT.
Er det sikkert at downloade minisat?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg minisat med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kører minisat på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Kan jeg bruge minisat uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.