kissat Mac 版下载安装教程
裸金属 SAT 求解器
kissat 是什么
kissat 是一款命令行工具：裸金属 SAT 求解器。
它以 Homebrew formula 形式分发，会构建或解包二进制文件并放进 PATH。它采用 MIT 许可证分发。
kissat 当前版本 4.0.4，近 30 天在 Homebrew 上安装 32 次，以命令行工具形式提供，适合写进脚本或 CI 流程。
核心功能
功能与用途来自 Homebrew 元数据和项目说明，具体以官方文档为准。
- 裸金属 SAT 求解器。
- 适合在命令行中完成批量处理和自动化任务。
- 以命令行工具形式安装，可在终端中直接调用。
kissat 适合谁用
- 习惯在命令行完成批量处理与自动化的用户
- 希望审计源码、或需要自行编译修改的用户
- 想尝试小众工具、不介意社区规模较小的用户
- 需要在终端中调用、便于写进脚本或 CI 流程
kissat 不适合：完全依赖图形界面、不熟悉命令行的用户。
安装量与热度
最近 30 天通过 Homebrew 安装 32 次，过去 12 个月累计 278 次。
如何安装 kissat
- 打开 终端（按 ⌘ + 空格，输入“终端”）。
- 如果还没安装 Homebrew，先运行下面这条安装命令。
-
运行
brew install kissat。
本站从不托管或镜像二进制文件——Homebrew 命令始终从厂商自己的发布地址拉取。
更喜欢图形安装包？可以从官方网站下载。
更喜欢图形安装包？可以从官方网站下载。
最近 10 个版本记录
最近一次更新为 2025-10-16，当前版本 rel-4.0.4，共记录最近 10 个版本。
下载地址直接指向项目在 GitHub 上发布的原始文件；本站不托管、不镜像安装包。
| 版本 | 发布日期 | 类型 | 大小 | 下载 |
|---|---|---|---|---|
| rel-4.0.4 | 2025-10-16 | 稳定版 | 187 KB | 下载 |
| rel-4.0.3 | 2025-06-28 | 稳定版 | 183 KB | 下载 |
| rel-4.0.2 | 2025-01-24 | 稳定版 | — | Release 页 |
| rel-4.0.1 | 2024-09-12 | 稳定版 | 184 KB | 下载 |
| rel-4.0.0 | 2024-07-27 | 稳定版 | 183 KB | 下载 |
| rel-3.1.1 | 2023-09-11 | 稳定版 | — | Release 页 |
| rel-3.1.0 | 2023-06-24 | 稳定版 | 119 KB | 下载 |
| sc2022-bulky | 2022-08-07 | 稳定版 | — | Release 页 |
| sc2022-hyper | 2022-08-07 | 稳定版 | — | Release 页 |
| rel-3.0.0 | 2022-08-07 | 稳定版 | 111 KB | 下载 |
数据来自 GitHub Releases，按发布时间排序。
和同类应用怎么选
kissat 近 30 天安装 32 次，在命令行工具分类中排名第 5462。 当前版本 rel-4.0.4 已发布为正式版。 项目开源，可以自行审计代码、提交 issue 或参与贡献。 需要逐项对比时，可参考下方的替代品与对比页。
与同类应用对比
只对比公开元数据，不做主观推荐；需要逐项对比时见对比页。
| 应用 | 版本 | 许可证 | 架构 | 近 30 天安装 |
|---|---|---|---|---|
| kissat | rel-4.0.4 | MIT | 命令行 | 32 |
| cadical | 3.0.1 | MIT | 命令行 | 38 |
| stp | 2.4.1 | MIT | 命令行 | 36 |
| amber | 1.5.0 | MIT | 命令行 | 26 |
命令行工具中的类似应用
同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。
cadical
干净高效的最先进SAT求解器stp
Simple Theorem Prover，一个高效的位向量SMT求解器amber
Crystal 网络框架。裸金属性能、生产力与快乐scip
混合整数规划和混合整数非线性规划求解器clp
线性规划求解器fx-upscale
金属驱动的视频增强所属分类：命令行工具