A minimalistic and high-performance SAT solver
Descrierea dezvoltatorului (engleză)
Ce este minisat?
Publicat de PolarGoose / niklasso, minisat este un software open source pentru Windows. Este scris în C++.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Funcționează fără instalare (versiune portabilă).
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (niklasso/minisat) are 1.193 de stele.
Descrierea proiectului pe GitHub: “A minimalistic and high-performance SAT solver”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
Dezavantaje
- Fără versiune nativă ARM64
- Nicio actualizare de mai bine de un an
Pe scurt: minisat este un program open source pentru Windows, disponibil pentru calculatoare cu 64 de biți. Actualizările s-au rărit.
Este sigur să descărcați minisat?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Practici de securitate (OpenSSF Scorecard)
Verificări automate ale depozitului niklasso/minisat de pe GitHub, efectuate de Open Source Security Foundation; ultima rulare: 19 octombrie 2026.
- Fără binare în depozit10
- Licență declarată9
- Întreținut activ0
- Revizuirea codului0
- Analiză statică a codului0
- Insigna OpenSSF Best Practices0
- Politică de securitate0
- Fuzzing0
- Protecția ramurilor0
Scorul evaluează modul în care proiectul este dezvoltat și publicat, nu dacă programul este sigur de instalat. scorecard.dev
Versiuni recente
O singură versiune ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 2.2Cea mai nouă | 13 iulie 2025 | — | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id PolarGoose.minisat -eGhid asociat: Cum se folosește winget: instalare și actualizare
Și pentru alte sisteme
brew install minisatInformații
- Dezvoltator
- PolarGoose / niklasso
- Licență
- MIT
- Preț
- Gratuit
- Cod sursă
- github.com/niklasso/minisat
- Limbaj de programare
- C++
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 2.2
- Data lansării
- 13 iulie 2025
- Adăugat în catalog
- 13 iulie 2025
- Versiuni listate
- 1
- Stele pe GitHub
- 1.193
- Fork-uri pe GitHub
- 422
- ID winget
- PolarGoose.minisat
Evaluări și recenzii
Nicio recenzie încă.
Întrebări frecvente
Este minisat gratuit?
Da. minisat este un software open source cu licența MIT.
Este sigur să descărcați minisat?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează minisat cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Funcționează minisat pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
Se poate folosi minisat fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.