kissat 下载 - Linux 版
裸金属 SAT 求解器
kissat 是什么
kissat 是一款适用于 Windows / Linux 的命令行工具：裸金属 SAT 求解器。
它通过 GitHub Releases 分发，本站不托管或镜像安装包。它采用 MIT 许可证分发。
kissat 适合需要裸金属 SAT 求解器的用户。作为一款命令行工具，它在终端中运行，适合脚本自动化和开发工作流。
核心功能
功能与用途来自 公开元数据和项目说明，具体以官方文档为准。
- 裸金属 SAT 求解器。
- 适合在命令行中完成批量处理和自动化任务。
- 以命令行工具形式安装，可在终端中直接调用。
kissat 适合谁用
kissat 适合需要裸金属 SAT 求解器的用户。如果你在 Windows / Linux 上寻找一款命令行工具，并且希望用一条命令完成安装与后续升级，它值得先试。
安装量与热度
最近 30 天通过包管理器安装 32 次，过去 12 个月累计 278 次。
下载
Linux
| 日期 | 版本 | 大小 | 架构 | |
|---|---|---|---|---|
| 2025-10-17 | rel-4.0.4 | 614 KB | x64 | 下载 |
| 2025-06-28 | rel-4.0.3 | 614 KB | x64 | 下载 |
| 2024-09-12 | rel-4.0.1 | 606 KB | x64 | 下载 |
| 2024-07-27 | rel-4.0.0 | 625 KB | x64 | 下载 |
| 2023-06-24 | rel-3.1.0 | 162 KB | x64 | 下载 |
| 2022-08-07 | rel-3.0.0 | 161 KB | x64 | 下载 |
和同类应用怎么选
如果你更看重安装量、依赖数量或开源许可，可以对照上面概览表里的数字；需要逐项对比时，见下方替代品与对比页。
与同类应用对比
只对比公开元数据，不做主观推荐；需要逐项对比时见对比页。
| 应用 | 版本 | 许可证 | 架构 | 近 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
线性规划求解器所属分类：命令行工具
数据来自 GitHub Releases · 安装量来自 公开统计 · 更新于 2026-11-04 · 排名方法 · 编辑政策