A minimalistic and high-performance SAT solver
Beskrywing deur die uitgewer (Engels)
Wat is minisat?
minisat van PolarGoose / niklasso is Windows-sagteware met oop bronkode. Programmeertaal: C++.
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Gewildheid en lêertipes
Die bronkode op GitHub (niklasso/minisat) het 1 193 sterre.
Projekbeskrywing op GitHub: “A minimalistic and high-performance SAT solver”
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
Nadele
- Geen inheemse ARM64-weergawe nie
- Al meer as ’n jaar geen bywerking nie
Kortliks: minisat is ’n oopbronprogram vir 64-bis rekenaars. Bywerkings het verlangsaam.
Is dit veilig om minisat af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Sekuriteitspraktyke (OpenSSF Scorecard)
Outomatiese toetse van die niklasso/minisat-bewaarplek op GitHub deur die Open Source Security Foundation, laas uitgevoer op 19 Oktober 2026.
- Geen binêre lêers in die bewaarplek10
- Lisensie verklaar9
- Aktief onderhou0
- Kodehersiening0
- Statiese kode-ontleding0
- OpenSSF Best Practices-kenteken0
- Sekuriteitsbeleid0
- Fuzzing0
- Takbeskerming0
Die telling beoordeel hoe die projek ontwikkel en vrygestel word, nie of die program veilig is om te installeer nie. scorecard.dev
Onlangse weergawes
Al 1 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 2.2Nuutste | 13 Julie 2025 | — | 64-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id PolarGoose.minisat -eVerwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Ook vir ander stelsels
brew install minisatInligting
- Uitgewer
- PolarGoose / niklasso
- Lisensie
- MIT
- Prys
- Gratis
- Bronkode
- github.com/niklasso/minisat
- Geskryf in
- C++
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- Draagbaar
- Weergawe
- 2.2
- Vrygestel
- 13 Julie 2025
- By die katalogus gevoeg
- 13 Julie 2025
- Weergawes gelys
- 1
- GitHub-sterre
- 1 193
- GitHub-vurke
- 422
- winget-ID
- PolarGoose.minisat
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Algemene vrae
Is minisat gratis?
Ja. minisat is oopbronsagteware onder die MIT-lisensie.
Is dit veilig om minisat af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Hoe installeer ek minisat met winget?
Maak PowerShell of Windows Terminal oop en voer die winget-opdrag op hierdie bladsy uit. winget laai die amptelike installeerder af en gaan die SHA256-hashwaarde na voordat dit uitgevoer word.
Werk minisat op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Kan minisat sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.