Parma 多面体库:分析和验证的数值抽象
许可证:GPL-3.0-or-later
Formula JSON API:/api/formula/ppl.json
Formula 代码:在 GitHub 上的 ppl.rb
支持以下平台提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
big sur | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
big sur | ✅ | |
catalina | ✅ | |
mojave | ✅ | |
high sierra | ✅ | |
64位linux | ✅ |
当前版本
稳定版 | ✅ | 1.2 |
修订版本: 1
依赖
gmp | 6.3.0 | GNU 多精度算术库 |
分析
安装(30天) | |
---|---|
ppl |
28 |
请求安装(30天) | |
ppl |
20 |
构建错误(30天) | |
ppl |
0 |
安装(90天) | |
ppl |
103 |
请求安装(90天) | |
ppl |
74 |
安装(365天) | |
ppl |
424 |
请求安装(365天) | |
ppl |
278 |