# Install ppl Parma Polyhedra Library: numerical abstractions for analysis, verification. Version 1.2 via Homebrew; verified from local package data. ## Install ```sh sudo av install brew:ppl ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install ppl ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install ppl ``` Evidence: MacPorts ports tree: devel/ppl/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Debian apt (92%): ```sh sudo apt install libppl-c4 ``` Evidence: Debian stable package indexes: libppl-c4 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install ppl ``` Evidence: Fedora Rawhide package metadata: ppl from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#ppl ``` Evidence: nixpkgs package indexes: pkgs/by-name/pp/ppl/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S ppl ``` Evidence: Arch Linux sync databases: ppl from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz - zypper (92%): ```sh sudo zypper install libppl14 ``` Evidence: openSUSE Tumbleweed package metadata: libppl14 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst ## Package Facts - **Package key:** brew:ppl - **Package manager:** Homebrew - **Package manager URL:** - **Version:** 1.2 - **Source summary:** Parma Polyhedra Library: numerical abstractions for analysis, verification - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** GPL-3.0-or-later - **Source archive:** - **Generated:** 2026-06-10T07:18:26+00:00 ## Executables - ppl-config (cli) - ppl_lcdd (cli) - ppl_pips (cli) - ppl-config (alias) - ppl_lcdd (alias) - ppl_pips (alias) ## Dependencies - gmp ## Install Behavior - Post-install hook: not defined - Bottle: available on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## Freshness - Page generated: 2026-06-10 - Package-manager version: 1.2 - Local data status: ok - Upstream repository: https://www.bugseng.com/ppl - info: No package-manager update timestamp was available. - info: Release/tag comparison is only available for GitHub repositories. ## Sicherheitshinweise library-like package without higher-risk signals. - **Geiger risk:** green / low - library-like package without higher-risk signals ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** ppl - **Version Scheme:** 0 - **Revision:** 1 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Other Package-Manager Records - Debian apt - libppl-c4 - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-c4 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (C interface) | http://www.cs.unipr.it/ppl/ - Debian apt - libppl-dev - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (development) | http://www.cs.unipr.it/ppl/ - Debian apt - libppl-doc - 1:1.2-8.1: normalized package name match | Debian stable package indexes: libppl-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library: Documentation | http://www.cs.unipr.it/ppl/ - Debian apt - libppl-swi - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl-swi from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (SWI Prolog interface) | http://www.cs.unipr.it/ppl/ - Debian apt - libppl14 - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: libppl14 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (runtime library) | http://www.cs.unipr.it/ppl/ - Debian apt - ppl-dev - 1:1.2-8.1+b3: normalized package name match | Debian stable package indexes: ppl-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parma Polyhedra Library (development binaries) | http://www.cs.unipr.it/ppl/ - Nix - ppl: normalized package name match | nixpkgs package indexes: pkgs/by-name/pp/ppl/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - libppl-c4 - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-c4 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (C interface) | http://www.cs.unipr.it/ppl/ - Ubuntu apt - libppl-dev - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (development) | http://www.cs.unipr.it/ppl/ - Ubuntu apt - libppl-doc - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library: Documentation | http://www.cs.unipr.it/ppl/ - Ubuntu apt - libppl-swi - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl-swi from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (SWI Prolog interface) | http://www.cs.unipr.it/ppl/ - Ubuntu apt - libppl14 - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: libppl14 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (runtime library) | http://www.cs.unipr.it/ppl/ - Ubuntu apt - ppl-dev - 1:1.2-8.1build5: normalized package name match | Ubuntu 24.04 LTS package indexes: ppl-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parma Polyhedra Library (development binaries) | http://www.cs.unipr.it/ppl/ - dnf - ppl - 1.2-39.fc44: normalized package name match | Fedora Rawhide package metadata: ppl from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | The Parma Polyhedra Library: a library of numerical abstractions | http://www.bugseng.com/ppl - dnf - ppl-devel - 1.2-39.fc44: normalized package name match | Fedora Rawhide package metadata: ppl-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Development tools for the Parma Polyhedra Library C and C++ interfaces | http://www.bugseng.com/ppl - dnf - ppl-docs - 1.2-39.fc44: normalized package name match | Fedora Rawhide package metadata: ppl-docs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Documentation for the Parma Polyhedra Library | http://www.bugseng.com/ppl ## Related Links - [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/de/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [Scientific computing packages](https://www.automicvault.com/de/pkg/scientific-computing-tools/) - Matched scientific computing metadata. - [sollya](https://www.automicvault.com/de/pkg/brew/sollya/) - Shares av.db curated category or tags: cli, mathematics, numerical-analysis, science. - [cddlib](https://www.automicvault.com/de/pkg/brew/cddlib/) - Shares av.db curated category or tags: cli, mathematics, polyhedra, science. - [suite-sparse](https://www.automicvault.com/de/pkg/brew/suite-sparse/) - Shares av.db curated category or tags: cli, mathematics, science. - [maxima](https://www.automicvault.com/de/pkg/brew/maxima/) - Shares av.db curated category or tags: cli, mathematics, science. - [calc](https://www.automicvault.com/de/pkg/brew/calc/) - Shares av.db curated category or tags: cli, mathematics, science. - [wxmaxima](https://www.automicvault.com/de/pkg/brew/wxmaxima/) - Shares av.db curated category or tags: cli, mathematics, science. - [singular](https://www.automicvault.com/de/pkg/brew/singular/) - Shares av.db curated category or tags: cli, mathematics, science. - [pari](https://www.automicvault.com/de/pkg/brew/pari/) - Shares av.db curated category or tags: cli, mathematics, science. ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph