pkg.soopen package index

brew / 排名 7119

使用 Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt 安装 ppl

查看 ppl 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install ppl

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install ppl

MacPorts ports tree · devel/ppl/Portfile · 来源: api.github.com

Linux

Fedora dnf已验证 · 92%
sudo dnf install ppl

Fedora Rawhide package metadata · ppl · 来源: dl.fedoraproject.org

Nix已验证 · 92%
nix profile install nixpkgs#ppl

nixpkgs package indexes · pkgs/by-name/pp/ppl/package.nix · 来源: api.github.com

Arch Linux pacman已验证 · 92%
sudo pacman -S ppl

Arch Linux sync databases · ppl · 来源: geo.mirror.pkgbuild.com

openSUSE zypper已验证 · 92%
sudo zypper install ppl

openSUSE Tumbleweed package metadata · ppl · 来源: download.opensuse.org

Debian apt已验证 · 92%
sudo apt install libppl-c4

Debian stable package indexes · libppl-c4 · 来源: deb.debian.org

概览

软件包摘要

Parma Polyhedra Library: numerical abstractions for analysis, verification

命令和别名

  • ppl-config
  • ppl_lcdd
  • ppl_pips

历史

项目历史与用法

The Parma Polyhedra Library is a C++ library of numerical abstractions for program analysis, verification, optimization, and related formal-methods work.

项目历史

The Parma Polyhedra Library emerged at the University of Parma as a free-software implementation of numerical abstractions for analysis and verification. Its first public alpha release appeared in October 2001, and the first general paper about the library was presented at the Static Analysis Symposium in 2002.

Successive releases broadened the original polyhedral domain with rational grids, bounded-difference and octagonal shapes, exact linear-programming facilities, parametric integer programming, powersets, and language interfaces. Copyright was transferred in 2011 to BUGSENG, a University of Parma spin-off, while the library remained free software. Release 1.0 followed in 2012.

采用历史

PPL has been distributed through several Unix-like package ecosystems, including Homebrew, Debian, Fedora-family distributions, MacPorts, Nix, Arch, Ubuntu, and openSUSE. Its portable C++ core and documented interfaces for C, Java, OCaml, and Prolog helped it serve analysis tools written in different languages.

使用方式

Developers link PPL into analyzers or mathematical software and work with convex polyhedra, grids, boxes, octagons, powersets, linear programs, and termination domains through its C++ API or supported language interfaces.

The ppl-config utility reports compiler and linker settings, while ppl_lcdd and ppl_pips expose selected conversion and parametric-programming workflows from the command line. No standard per-user runtime configuration file is documented.

为什么软件包爱好者会关心

PPL is notable as a specialized mathematical library that exposes abstract-interpretation domains as a reusable, carefully documented package. It combines convex polyhedra, grids, boxes, octagons, powersets, exact linear programming, and termination-analysis facilities in one implementation.

For packagers, it is a substantial native library with language bindings, generated documentation, exact-arithmetic dependencies, and command-line utilities such as ppl_lcdd and ppl_pips rather than a single-purpose executable.

时间线

  • 2001: PPL 0.1 became the first public alpha release.
  • 2002: The first general PPL research paper was presented at SAS.
  • 2006: PPL added rational grids and exact-arithmetic linear-programming facilities across major releases.
  • 2011: Copyright transferred to BUGSENG while PPL remained free software.
  • 2012: PPL 1.0 was released.

Related projects

  • GMP supplies the exact integer arithmetic used by PPL.
  • The library is intended for static analyzers, verification systems, optimization tools, and other software that needs numerical abstract domains.

安全态势

风险级别：绿色

library-like package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • library-like package without higher-risk signals

信号

  • metadata:library-like

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 13 个平台目标。
  • 安装时包含 1 个运行时依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
ppl-configcli全局可执行文件
ppl_lcddcli全局可执行文件
ppl_pipscli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-11-04
管理器版本1.2
管理器更新时间2026-09-13
本地数据OK
上游not checked
检测到的最新版本未检测到

https://www.bugseng.com/ppl

安装元数据

软件包元数据

软件包键brew:ppl
版本1.2
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/ppl
主页https://www.bugseng.com/ppl
上游文档https://www.bugseng.com/ppl
许可证GPL-3.0-or-later
源码归档https://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
最后更新2026-09-13T12:16:58Z
Pulseupdated
依赖gmp
Bottle可用 (于 arm64_big_sur, arm64_golden_gate, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, monterey, sonoma, ventura, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameppl
Version Scheme0
Revision1
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Debian apt95%

libppl-c4 1:1.2-8.1+b3

Parma Polyhedra Library (C interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-c4
  • Section: libs
  • Architecture: amd64
  • Source Package: ppl
  • 6 依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-c4 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libppl-dev 1:1.2-8.1+b3

Parma Polyhedra Library (development)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: ppl
  • 2 依赖
  • 2 提供
  • 2 可选依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libppl-doc 1:1.2-8.1

Parma Polyhedra Library: Documentation

http://www.cs.unipr.it/ppl/

sudo apt install libppl-doc
  • Section: doc
  • Architecture: all
  • Source Package: ppl
  • 1 依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libppl-swi 1:1.2-8.1+b3

Parma Polyhedra Library (SWI Prolog interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-swi
  • Section: libs
  • Architecture: amd64
  • Source Package: ppl
  • 8 依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl-swi from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libppl14 1:1.2-8.1+b3

Parma Polyhedra Library (runtime library)

http://www.cs.unipr.it/ppl/

sudo apt install libppl14
  • Section: libs
  • Architecture: amd64
  • Source Package: ppl
  • 5 依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libppl14 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

ppl-dev 1:1.2-8.1+b3

Parma Polyhedra Library (development binaries)

http://www.cs.unipr.it/ppl/

sudo apt install ppl-dev
  • Section: devel
  • Architecture: amd64
  • Source Package: ppl
  • 5 依赖
  • normalized package name match
  • 匹配方式：Ppl
Debian stable package indexes · deb.debian.org · Debian stable package indexes: ppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

ppl

nix profile install nixpkgs#ppl
  • normalized package name match
  • 匹配方式：Ppl
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/pp/ppl/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libppl-c4 1:1.2-8.1build5

Parma Polyhedra Library (C interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-c4
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: ppl
  • 6 依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-c4 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libppl-dev 1:1.2-8.1build5

Parma Polyhedra Library (development)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: ppl
  • 2 依赖
  • 2 提供
  • 2 可选依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libppl-doc 1:1.2-8.1build5

Parma Polyhedra Library: Documentation

http://www.cs.unipr.it/ppl/

sudo apt install libppl-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: ppl
  • 1 依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libppl-swi 1:1.2-8.1build5

Parma Polyhedra Library (SWI Prolog interface)

http://www.cs.unipr.it/ppl/

sudo apt install libppl-swi
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: ppl
  • 8 依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl-swi from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libppl14 1:1.2-8.1build5

Parma Polyhedra Library (runtime library)

http://www.cs.unipr.it/ppl/

sudo apt install libppl14
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: ppl
  • 5 依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libppl14 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ppl-dev 1:1.2-8.1build5

Parma Polyhedra Library (development binaries)

http://www.cs.unipr.it/ppl/

sudo apt install ppl-dev
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: ppl
  • 5 依赖
  • normalized package name match
  • 匹配方式：Ppl
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

ppl 1.2-40.fc45

The Parma Polyhedra Library: a library of numerical abstractions

http://www.bugseng.com/ppl

sudo dnf install ppl
  • License: GPL-3.0-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: ppl
  • 7 依赖
  • 3 提供
  • normalized package name match
  • 匹配方式：Ppl
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst
dnf95%

ppl-devel 1.2-40.fc45

Development tools for the Parma Polyhedra Library C and C++ interfaces

http://www.bugseng.com/ppl

sudo dnf install ppl-devel
  • License: GPL-3.0-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: ppl
  • 4 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Ppl
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst
dnf95%

ppl-docs 1.2-40.fc45

Documentation for the Parma Polyhedra Library

http://www.bugseng.com/ppl

sudo dnf install ppl-docs
  • License: GFDL-1.2-no-invariants-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: ppl
  • 1 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Ppl
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ppl-docs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment
  • pkg.so package database
  • pkgdb category and tag curation