A minimalistic and high-performance SAT solver
Opis izdajatelja (angleščina)
Kaj je minisat?
Program minisat je odprtokodna programska oprema za Windows. Izdaja ga PolarGoose / niklasso. Programski jezik: C++.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Program deluje brez namestitve (prenosna različica).
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (niklasso/minisat) ima 1193 zvezdic.
Opis projekta na GitHubu: “A minimalistic and high-performance SAT solver”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
Slabosti
- Ni izvorne različice ARM64
- Več kot leto dni brez posodobitve
Na kratko: minisat je odprtokoden program za Windows, na voljo za 64-bitno. Posodobitve so vse redkejše.
Je prenos programa minisat varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Varnostne prakse (OpenSSF Scorecard)
Samodejni pregledi repozitorija niklasso/minisat na GitHubu, ki jih izvaja Open Source Security Foundation; zadnji pregled: 19. oktober 2026.
- Brez binarnih datotek v repozitoriju10
- Navedena licenca9
- Dejavno vzdrževano0
- Pregled kode0
- Statična analiza kode0
- Značka OpenSSF Best Practices0
- Varnostni pravilnik0
- Fuzzing0
- Zaščita vej0
Ocena vrednoti, kako se projekt razvija in izdaja, ne pa tega, ali je namestitev programa varna. scorecard.dev
Najnovejše različice
Vse različice (1) ›| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 2.2Najnovejša | 13. julij 2025 | — | 64-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id PolarGoose.minisat -ePovezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Tudi za druge sisteme
brew install minisatInformacije
- Izdajatelj
- PolarGoose / niklasso
- Licenca
- MIT
- Cena
- Brezplačno
- Izvorna koda
- github.com/niklasso/minisat
- Programski jezik
- C++
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 2.2
- Izdano
- 13. julij 2025
- Dodano v katalog
- 13. julij 2025
- Število različic
- 1
- Zvezdice na GitHubu
- 1193
- Razcepi na GitHubu
- 422
- ID winget
- PolarGoose.minisat
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Pogosta vprašanja
Je program minisat brezplačen?
Da. minisat je odprtokoden program (licenca MIT), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa minisat varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti minisat z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali minisat deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Ali je program minisat mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.