brew / rang 7119

Installer ppl avec Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de ppl pour les workflows d'agents IA.

Commande d'installation Notes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install ppl

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install ppl

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

Linux

Fedora dnfvérifié · 92%

sudo dnf install ppl

Fedora Rawhide package metadata · ppl · Source: dl.fedoraproject.org

Nixvérifié · 92%

nix profile install nixpkgs#ppl

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

Arch Linux pacmanvérifié · 92%

sudo pacman -S ppl

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

openSUSE zyppervérifié · 92%

sudo zypper install ppl

openSUSE Tumbleweed package metadata · ppl · Source: download.opensuse.org

Debian aptvérifié · 92%

sudo apt install libppl-c4

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

aperçu

Résumé du paquet

Parma Polyhedra Library: numerical abstractions for analysis, verification

Liens du projet

Commandes et alias

ppl-config
ppl_lcdd
ppl_pips

historique

Historique du projet et usages

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

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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.

Sources

posture de sécurité

Niveau de risque : vert

library-like package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

library-like package without higher-risk signals

Signaux

metadata:library-like

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 13 plateformes.
S’installe avec 1 dépendances d’exécution.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`ppl-config`	cli	exécutable global
`ppl_lcdd`	cli	exécutable global
`ppl_pips`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-11-04

version du gestionnaire1.2

gestionnaire mis à jour2026-09-13

données localesOK

amontnot checked

dernière version détectéenon détecté

https://www.bugseng.com/ppl

infoRelease/tag comparison is only available for GitHub repositories.https://www.bugseng.com/pplconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:ppl
Version	1.2
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/ppl
Page d'accueil	https://www.bugseng.com/ppl
Docs amont	https://www.bugseng.com/ppl
Licence	GPL-3.0-or-later
Archive source	https://deb.debian.org/debian/pool/main/p/ppl/ppl_1.2.orig.tar.xz
Dernière mise à jour	2026-09-13T12:16:58Z
Pulse	updated
Dépendances	gmp
Bouteille	disponible (sur 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)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	ppl
Version Scheme	0
Revision	1
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
2 dépendances optionnelles
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
2 dépendances optionnelles
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
3 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/ppl.yml

Sources utilisées

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

Installer ppl avec Homebrew, dnf, MacPorts, Nix, pacman, zypper, apt

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées