cadical
安装命令
brew install cadical高效且先进的 SAT 求解器
许可协议：MIT
公式 JSON API：/api/formula/cadical.json
公式代码：cadical.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64 位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.0.0 |
分析
| 安装量（30天） | |
|---|---|
cadical |
19 |
| 请求安装量（30天） | |
cadical |
6 |
| 构建错误（30天） | |
cadical |
0 |
| 安装量（90天） | |
cadical |
88 |
| 请求安装量（90天） | |
cadical |
44 |
| 安装量（365天） | |
cadical |
826 |
| 请求安装量（365天） | |
cadical |
466 |
