A minimalistic and high-performance SAT solver
Utgiverens beskrivelse (engelsk)
Hva er minisat?
minisat fra PolarGoose / niklasso er programvare med åpen kildekode for Windows. Programmeringsspråk: C++.
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Popularitet og filtyper
Kildekoden på GitHub (niklasso/minisat) har 1 193 stjerner.
Prosjektbeskrivelse på GitHub: “A minimalistic and high-performance SAT solver”
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
Ulemper
- Ingen egen ARM64-versjon
- Ingen oppdatering på over ett år
Kort sagt: minisat er et verktøy med åpen kildekode for Windows for PC-er med 64-bit. Oppdateringene har blitt sjeldnere.
Er det trygt å laste ned minisat?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Sikkerhetspraksis (OpenSSF Scorecard)
Automatiske kontroller av repositoriet niklasso/minisat på GitHub, utført av Open Source Security Foundation. Sist kjørt 19. oktober 2026.
- Ingen binærfiler i repositoriet10
- Lisens oppgitt9
- Aktivt vedlikeholdt0
- Kodegjennomgang0
- Statisk kodeanalyse0
- OpenSSF Best Practices-merke0
- Sikkerhetspolicy0
- Fuzzing0
- Grenbeskyttelse0
Poengsummen vurderer hvordan prosjektet utvikles og publiseres, ikke om programmet er trygt å installere. scorecard.dev
Nyeste versjoner
Alle 1 versjon ›| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 2.2Nyeste | 13. juli 2025 | — | 64-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›winget install --id PolarGoose.minisat -eRelatert veiledning: winget: installer og oppdater programmer i Windows
Finnes også for andre systemer
brew install minisatInformasjon
- Utgiver
- PolarGoose / niklasso
- Lisens
- MIT
- Pris
- Gratis
- Kildekode
- github.com/niklasso/minisat
- Programmeringsspråk
- C++
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 2.2
- Utgitt
- 13. juli 2025
- Lagt til i katalogen
- 13. juli 2025
- Registrerte versjoner
- 1
- GitHub-stjerner
- 1 193
- GitHub-forker
- 422
- winget-ID
- PolarGoose.minisat
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Ofte stilte spørsmål
Er minisat gratis?
Ja. minisat er programvare med åpen kildekode under lisensen MIT.
Er det trygt å laste ned minisat?
Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Hvordan installerer jeg minisat med winget?
Åpne PowerShell eller Windows Terminal og kjør winget-kommandoen som vises på denne siden. winget laster ned den offisielle installasjonsfilen og kontrollerer SHA256-summen før den kjøres.
Kjører minisat på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Kan jeg bruke minisat uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.