A minimalistic and high-performance SAT solver
Opis izdavača (engleski)
Šta je minisat?
Program minisat je softver za Windows otvorenog koda. Objavljuje ga PolarGoose / niklasso. Programski jezik: C++.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit. Program radi bez instalacije (portabl verzija).
Popularnost i tipovi fajlova
Izvorni kod na GitHubu (niklasso/minisat) ima 1.193 zvezdice.
Opis projekta na GitHubu: “A minimalistic and high-performance SAT solver”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
Nedostaci
- Nema izvorne ARM64 verzije
- Bez ažuriranja više od godinu dana
Ukratko: minisat je program za Windows otvorenog koda, dostupan za 64-bit. Ažuriranja stižu sve ređe.
Da li je preuzimanje programa minisat bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Bezbednosne prakse (OpenSSF Scorecard)
Automatske provere koje Open Source Security Foundation sprovodi nad repozitorijumom niklasso/minisat na GitHubu (poslednja provera: 19. oktobar 2026.).
- Bez binarnih fajlova u repozitorijumu10
- Navedena licenca9
- Aktivno održavanje0
- Pregled koda0
- Statička analiza koda0
- Značka OpenSSF Best Practices0
- Bezbednosna politika0
- Fazing testiranje0
- Zaštita grana0
Ocena pokazuje kako se projekat razvija i objavljuje, a ne da li je program bezbedan za instalaciju. scorecard.dev
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 2.2Najnovija | 13. jul 2025. | — | 64-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id PolarGoose.minisat -ePovezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Dostupno i za druge sisteme
brew install minisatInformacije
- Izdavač
- PolarGoose / niklasso
- Licenca
- MIT
- Cena
- Besplatno
- Izvorni kod
- github.com/niklasso/minisat
- Programski jezik
- C++
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 2.2
- Objavljeno
- 13. jul 2025.
- Dodato u katalog
- 13. jul 2025.
- Broj verzija
- 1
- Zvezdice na GitHubu
- 1.193
- Forkovi na GitHubu
- 422
- winget ID
- PolarGoose.minisat
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Česta pitanja
Da li je program minisat besplatan?
Da. minisat je program otvorenog koda (licenca MIT) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa minisat bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Kako instalirati minisat preko wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite winget komandu sa ove stranice. winget preuzima zvanični instalacioni fajl i pre pokretanja proverava njegov SHA256 heš.
Da li minisat radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Može li se program minisat koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.