ppl

安装命令
brew install ppl

Parma 多面体库:分析和验证的数值抽象

https://www.bugseng.com/ppl

许可证: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
Fork me on GitHub