stp
安装命令
brew install stp简单定理证明器，一个高效的位向量SMT求解器
许可协议： MIT
公式JSON API： /api/formula/stp.json
公式代码： stp.rb 在GitHub上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.3.4 |
| 头版 | ⚡️ | HEAD |
依赖
| boost | 1.85.0 | 便携式C++源代码库集合 |
| cryptominisat | 5.11.21 | 高级SAT求解器 |
| gmp | 6.3.0 | GNU多精度算术库 |
| minisat | 2.2.1 | 简约且高性能的SAT求解器 |
| [email protected] | 3.12.4 | 解释型、交互式、面向对象的编程语言 |
从源码构建时依赖
| bison | 3.8.2 | 解析器生成器 |
| cmake | 3.30.2 | 跨平台构建工具 |
| flex | 2.6.4 | 快速词法分析器，生成扫描器（标记化器） |
| python-setuptools | 72.1.0 | 轻松下载、构建、安装、升级和卸载Python包 |
分析
| 安装（30天） | |
|---|---|
stp |
35 |
| 请求安装（30天） | |
stp |
23 |
| 构建错误（30天） | |
stp |
0 |
| 安装（90天） | |
stp |
190 |
| 请求安装（90天） | |
stp |
141 |
| 安装（365天） | |
stp |
1,146 |
| 请求安装（365天） | |
stp |
642 |
