pkg.soopen package index

brew / 順位 7119

ppl を Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt でインストール

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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