minisat
安装命令
brew install minisat简约且高性能的 SAT 求解器
https://github.com/stp/minisat
许可证： MIT
公式 JSON API： /api/formula/minisat.json
公式代码： minisat.rb 在 GitHub
支持瓶装（二进制包）安装
| 苹果硅 | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| catalina | ✅ | |
| mojave | ✅ | |
| 64 位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.2.1 |
| 最新版 | ⚡️ | HEAD |
从源代码构建时依赖
| cmake | 3.30.2 | 跨平台构建工具 |
分析
| 安装（30天） | |
|---|---|
minisat |
22 |
| 请求安装（30天） | |
minisat |
9 |
| 构建错误（30天） | |
minisat |
0 |
| 安装（90天） | |
minisat |
107 |
| 请求安装（90天） | |
minisat |
45 |
| 安装（365天） | |
minisat |
878 |
| 请求安装（365天） | |
minisat |
320 |
