depqbf
安装命令
brew install depqbf量化布尔公式（QBF）求解器
https://lonsing.github.io/depqbf/
许可： GPL-3.0-or-later
公式 JSON API： /api/formula/depqbf.json
公式代码： depqbf.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| catalina | ✅ | |
| mojave | ✅ | |
| high sierra | ✅ | |
| sierra | ✅ | |
| el capitan | ✅ | |
| 64-bit linux | ✅ | |
当前版本
| 稳定版 | ✅ | 6.03 |
| head | ⚡️ | HEAD |
分析
| 安装（30天） | |
|---|---|
depqbf |
1 |
| 请求安装（30天） | |
depqbf |
1 |
| 构建错误（30天） | |
depqbf |
0 |
| 安装（90天） | |
depqbf |
54 |
| 请求安装（90天） | |
depqbf |
54 |
| 安装（365天） | |
depqbf |
71 |
| 请求安装（365天） | |
depqbf |
71 |
