cryptominisat
安装命令
brew install cryptominisat高级 SAT 求解器
https://www.msoos.org/cryptominisat5/
许可： MIT
公式 JSON API： /api/formula/cryptominisat.json
公式代码： cryptominisat.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64 位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 5.11.21 |
依赖
| boost | 1.85.0 | 便携式 C++ 源代码库集合 |
从源码构建时依赖
| cmake | 3.30.2 | 跨平台构建 |
| [email protected] | 3.12.4 | 解释型、交互式、面向对象编程语言 |
分析
| 安装（30天） | |
|---|---|
cryptominisat |
50 |
| 请求安装（30天） | |
cryptominisat |
32 |
| 构建错误（30天） | |
cryptominisat |
1 |
| 安装（90天） | |
cryptominisat |
230 |
| 请求安装（90天） | |
cryptominisat |
130 |
| 安装（365天） | |
cryptominisat |
1,905 |
| 请求安装（365天） | |
cryptominisat |
1,154 |
