soffle
安装命令
brew install souffle逻辑定义静态分析
https://souffle-lang.github.io
许可协议：UPL-1.0
公式 JSON API：/api/formula/souffle.json
公式代码：在 GitHub 上的 souffle.rb
支持以下平台进行瓶装（二进制包）安装：
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.4.1 |
从源代码构建时依赖项
| bison | 3.8.2 | 解析器生成器 |
| cmake | 3.30.2 | 跨平台构建 |
| mcpp | 2.7.2 | 替代 C/C++ 预处理器 |
| pkg-config | 0.29.2 | 管理库的编译和链接标志 |
要求：macOS ≥ 10.15
分析
| 安装（30天） | |
|---|---|
soffle |
4 |
| 请求安装（30天） | |
soffle |
4 |
| 构建错误（30天） | |
soffle |
0 |
| 安装（90天） | |
soffle |
15 |
| 请求安装（90天） | |
soffle |
15 |
| 安装（365天） | |
soffle |
197 |
| 请求安装（365天） | |
soffle |
197 |
