A minimalistic and high-performance SAT solver
Përshkrimi i botuesit (anglisht)
Çfarë është minisat?
Botuesi i minisat është PolarGoose / niklasso. Është softuer me burim të hapur për Windows. Është shkruar në C++.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit. Funksionon pa instalim (portativ).
Popullariteti dhe llojet e skedarëve
Kodi burimor në GitHub (niklasso/minisat) ka 1193 yje.
Përshkrimi i projektit në GitHub: “A minimalistic and high-performance SAT solver”
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
Pikat e dobëta
- Pa version vendas ARM64
- Pa përditësim për më shumë se një vit
Shkurtimisht: minisat është një mjet me burim të hapur për Windows, për kompjuterë 64-bit. Përditësimet janë rralluar.
A është i sigurt shkarkimi i minisat?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Praktikat e sigurisë (OpenSSF Scorecard)
Kontrolle automatike të depos niklasso/minisat në GitHub nga Open Source Security Foundation, kryer për herë të fundit më 19 tetor 2026.
- Pa skedarë binarë në depo10
- Licencë e deklaruar9
- Mirëmbahet aktivisht0
- Rishikim kodi0
- Analizë statike e kodit0
- Distinktivi OpenSSF Best Practices0
- Politikë sigurie0
- Fuzzing0
- Mbrojtje e degëve0
Pikët vlerësojnë mënyrën si zhvillohet dhe publikohet projekti, jo nëse programi është i sigurt për t’u instaluar. scorecard.dev
Versionet e fundit
Të gjitha versionet (1) ›| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 2.2I fundit | 13 korrik 2025 | — | 64-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id PolarGoose.minisat -eUdhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Edhe për sisteme të tjera
brew install minisatInformacion
- Botuesi
- PolarGoose / niklasso
- Licenca
- MIT
- Çmimi
- Falas
- Kodi burimor
- github.com/niklasso/minisat
- Shkruar në
- C++
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- Portativ
- Versioni
- 2.2
- Publikuar
- 13 korrik 2025
- Shtuar në katalog
- 13 korrik 2025
- Versione në listë
- 1
- Yje në GitHub
- 1193
- Forke në GitHub
- 422
- ID winget
- PolarGoose.minisat
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Pyetjet më të shpeshta
A është minisat falas?
Po. minisat është softuer me burim të hapur me licencën MIT.
A është i sigurt shkarkimi i minisat?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
Si ta instaloj minisat me winget?
Hapni PowerShell ose Windows Terminal dhe ekzekutoni komandën winget që tregohet në këtë faqe. winget shkarkon instaluesin zyrtar dhe kontrollon hash-in SHA256 para se ta ekzekutojë.
A funksionon minisat në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
A mund ta përdor minisat pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.