macOS
Homebrew已验证 · 100%
brew install minisatlocal Homebrew formula metadata
MacPorts已验证 · 94%
sudo port install minisatMacPorts ports tree · math/minisat/Portfile · 来源: api.github.com
安装
其他安装命令
Linux
Debian apt已验证 · 92%
sudo apt install minisatDebian stable package indexes · minisat · 来源: deb.debian.org
Nix已验证 · 92%
nix profile install nixpkgs#minisatnixpkgs package indexes · pkgs/by-name/mi/minisat/package.nix · 来源: api.github.com
Arch Linux pacman已验证 · 92%
sudo pacman -S minisatArch Linux sync databases · minisat · 来源: geo.mirror.pkgbuild.com
openSUSE zypper已验证 · 92%
sudo zypper install minisatopenSUSE Tumbleweed package metadata · minisat · 来源: download.opensuse.org
Windows
Windows Package Manager已验证 · 92%
winget install --id PolarGoose.minisat -eWindows Package Manager source index · PolarGoose.minisat · 来源: cdn.winget.microsoft.com
概览
软件包摘要
Minimalistic and high-performance SAT solver
历史
项目历史与用法
MiniSat is a minimalist open-source SAT solver by Niklas Een and Niklas Sorensson. The authors presented "An Extensible SAT-solver" at SAT 2003, and the project site frames MiniSat as a small, well-documented solver intended to help researchers and developers start with satisfiability solving.
项目历史
Its importance came from being both compact and competitive. The MiniSat site highlights three design goals: easy modification, high efficiency, and integration into other tools through incremental SAT and mechanisms for non-clausal constraints. MiniSat and the SatELite preprocessor won industrial categories at the SAT 2005 competition, and later MiniSat-related work covered conflict-clause minimization, pseudo-Boolean solving through MiniSat+, and preprocessing through variable and clause elimination.
使用方式
In practice, MiniSat is used as a command-line DIMACS CNF solver and as embeddable C++ code for verification, model checking, planning, constraint solving, and research prototypes. Its package-manager niche is the reference small SAT solver: less feature-heavy than modern portfolio solvers, but valuable because its codebase is readable, MIT-licensed, and historically central to SAT-solver education and experimentation.
来源
安全态势
风险级别：绿色
narrow executable package without higher-risk signals.
风险分类器
绿色 风险 · 低 置信度 · appliance
原因
- narrow executable package without higher-risk signals
信号
- metadata:no-higher-risk-signals
安装行为
- formula 元数据中未记录 Homebrew post-install 钩子。
- Homebrew bottle 元数据适用于 6 个平台目标。
- 构建元数据列出 1 个构建依赖。
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
minisat | cli | 全局可执行文件 | |
minisat_core | cli | 全局可执行文件 |
新鲜度
版本和新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
页面生成时间2026-07-10
管理器版本2.2.1
管理器更新时间
本地数据OK
上游当前
检测到的最新版本releases/2.2.1
https://github.com/stp/minisat
- 信息No package-manager update timestamp was available.低 置信度
安装元数据
软件包元数据
| 软件包键 | brew:minisat |
|---|---|
| 版本 | 2.2.1 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/minisat |
| 主页 | https://github.com/stp/minisat |
| 仓库 | https://github.com/stp/minisat |
| 上游文档 | https://github.com/stp/minisat#readme |
| 许可证 | MIT |
| 源码归档 | https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz |
| 构建依赖 | cmake |
| Bottle | 可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
注册表事实
源数据库详情
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | minisat |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
源数据库匹配
其他软件包管理器记录
匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。
Debian apt95%
minisat 1:2.2.1-8
Fast and lightweight SAT solver
sudo apt install minisat- Section: science
- Architecture: amd64
- Source Package: minisat2
- 4 依赖
- 1 提供
- normalized package name match
- 匹配方式：Minisat
Debian apt95%
minisat+ 1.0-5
solver for pseudo-Boolean constraints
http://minisat.se/MiniSat+.html
sudo apt install minisat+- Section: science
- Architecture: amd64
- 4 依赖
- normalized package name match
- 匹配方式：Minisat
Nix95%
minisat
nix profile install nixpkgs#minisat- normalized package name match
- 匹配方式：Minisat
Ubuntu apt95%
minisat 1:2.2.1-8build1
Fast and lightweight SAT solver
sudo apt install minisat- Section: universe/science
- Architecture: amd64
- Source Package: minisat2
- 4 依赖
- 1 提供
- normalized package name match
- 匹配方式：Minisat
Ubuntu apt95%
minisat+ 1.0-4build1
solver for pseudo-Boolean constraints
http://minisat.se/MiniSat+.html
sudo apt install minisat+- Section: universe/science
- Architecture: amd64
- 4 依赖
- normalized package name match
- 匹配方式：Minisat
pacman95%
minisat 2.2.1.20201216-3
A minimalistic and high-performance SAT solver
sudo pacman -S minisat- License: MIT
- Architecture: x86_64
- 4 依赖
- normalized package name match
- 匹配方式：Minisat
zypper95%
libminisat2 2.2.1+20230206-1.3
SAT solver
http://minisat.se/MiniSat.html
sudo zypper install libminisat2- License: MIT
- Category: System/Libraries
- Architecture: x86_64
- Source Package: minisat
- 5 依赖
- 2 提供
- normalized package name match
- 匹配方式：Minisat
zypper95%
minisat 2.2.1+20230206-1.3
SAT solver
http://minisat.se/MiniSat.html
sudo zypper install minisat- License: MIT
- Category: Development/Tools/Other
- Architecture: x86_64
- Source Package: minisat
- 5 依赖
- 1 提供
- normalized package name match
- 匹配方式：Minisat
zypper95%
minisat-devel 2.2.1+20230206-1.3
Devel files for minisat
http://minisat.se/MiniSat.html
sudo zypper install minisat-devel- License: MIT
- Category: Development/Libraries/C and C++
- Architecture: x86_64
- Source Package: minisat
- 2 依赖
- 2 提供
- normalized package name match
- 匹配方式：Minisat
MacPorts95%
minisat
sudo port install minisat- normalized package name match
- 匹配方式：Minisat
winget95%
PolarGoose.minisat
winget install --id PolarGoose.minisat -e- normalized package name match
- 匹配方式：Minisat
来源线索
由仓库数据生成
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
Combined YAML source
View the package source record on GitHub.
使用的来源
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment