A minimalistic and high-performance SAT solver
Апісанне ад распрацоўшчыка (англійская)
Што такое minisat?
Праграму minisat выпускае PolarGoose / niklasso. Гэта ПЗ для Windows з адкрытым зыходным кодам. Мова праграмавання: C++.
Устаноўка і сістэмныя патрабаванні
Распрацоўшчык прапануе ўсталёўшчыкі Партатыўная для сістэм 64-біт. Праграма працуе без устаноўкі (партатыўная версія).
Папулярнасць і тыпы файлаў
Зыходны код на GitHub (niklasso/minisat) мае 1193 зоркі.
Апісанне праекта на GitHub: “A minimalistic and high-performance SAT solver”
Перавагі / Недахопы
Перавагі
- Адкрыты зыходны код: яго можна праверыць і сабраць самастойна
- Партатыўная версія: працуе без устаноўкі
Недахопы
- Няма натыўнай зборкі ARM64
- Больш за год без абнаўленняў
Коратка: minisat — праграма для Windows з адкрытым зыходным кодам; зборкі: 64-біт. Абнаўленні выходзяць усё радзей.
Ці бяспечна спампоўваць праграму minisat?
- Файл спампоўваецца з дамена распрацоўшчыка (github.com)
- Спасылка на спампоўку выкарыстоўвае HTTPS
- Апублікаваны хэш SHA256 — файл можна праверыць:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Адкрыць справаздачу VirusTotal для гэтага хэша - Спасылка яшчэ не правяралася
- Зыходны код адкрыты
- ExeAtlas не захоўвае, не абгортвае і не змяняе ўсталёўшчыкі
Інструкцыя па тэме: Як праверыць хэш SHA256 файла ў Windows
Практыкі бяспекі (OpenSSF Scorecard)
Аўтаматычная праверка рэпазіторыя niklasso/minisat на GitHub ад Open Source Security Foundation, апошні запуск — 19 кастрычніка 2026 г..
- Няма бінарных файлаў у рэпазіторыі10
- Ліцэнзія ўказана9
- Актыўная падтрымка0
- Рэцэнзаванне кода0
- Статычны аналіз кода0
- Значок OpenSSF Best Practices0
- Палітыка бяспекі0
- Фазінг0
- Абарона галін0
Ацэнка паказвае, як праект распрацоўваюць і выпускаюць, а не тое, ці бяспечна ўсталёўваць праграму. scorecard.dev
Апошнія версіі
Усе версіі (1) ›| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 2.2Апошняя | 13 ліпеня 2025 г. | — | 64-біт ZIP |
Устаноўка з каманднага радка
Ціхая ўстаноўка ›winget install --id PolarGoose.minisat -eІнструкцыя па тэме: Як карыстацца winget: устаноўка і абнаўленне
Ёсць і для іншых сістэм
brew install minisatІнфармацыя
- Распрацоўшчык
- PolarGoose / niklasso
- Ліцэнзія
- MIT
- Кошт
- Бясплатна
- Зыходны код
- github.com/niklasso/minisat
- Мова праграмавання
- C++
- Патрабаванні
- Windows 11 / 10
- Архітэктура
- 64-біт
- Усталёўшчык
- Партатыўная
- Версія
- 2.2
- Дата выхаду
- 13 ліпеня 2025 г.
- Дададзена ў каталог
- 13 ліпеня 2025 г.
- Версій у каталогу
- 1
- Зоркі GitHub
- 1193
- Форкі на GitHub
- 422
- ID winget
- PolarGoose.minisat
Ацэнкі і водгукі
Водгукаў пакуль няма. Можна ацаніць першым.
Частыя пытанні
Праграма minisat бясплатная?
Так. minisat — праграма з адкрытым зыходным кодам (ліцэнзія MIT); спампаваць і выкарыстоўваць яе можна бясплатна.
Ці бяспечна спампоўваць праграму minisat?
Файл спампоўваецца з github.com — гэты дамен належыць распрацоўшчыку; ExeAtlas не захоўвае і не змяняе файл. Параўнайце SHA256 спампаванага файла з пазначаным на гэтай старонцы або адкрыйце справаздачу VirusTotal для гэтага хэша.
Як усталяваць minisat праз winget?
Адкрыйце PowerShell або Тэрмінал Windows і выканайце каманду winget з гэтай старонкі. winget спампуе афіцыйны ўсталёўшчык і праверыць яго хэш SHA256 перад запускам.
Ці працуе minisat на ARM (Windows on Arm)?
Зборкі ARM64 няма; Windows 11 on Arm можа запусціць версію 64-біт праз эмуляцыю.
Ці можна карыстацца праграмай minisat без правоў адміністратара?
Так, гэта партатыўная версія: дастаткова распакаваць архіў і запусціць праграму.