A minimalistic and high-performance SAT solver
Описание от разработчика (английский)
Что такое minisat?
Программу minisat выпускает PolarGoose / niklasso. Это ПО для Windows с открытым исходным кодом. Язык программирования: C++.
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит. Программа работает без установки (портативная версия).
Популярность и типы файлов
У исходного кода на GitHub (niklasso/minisat) 1 193 звезды.
Описание проекта на 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
- 1 193
- Форки на 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 без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.