Command-line tool

ppl

brew/ppl

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Parma Polyhedra Library: numerical abstractions for analysis, verification

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install ppl

Linux

brew install ppl

Related command-line tools

• pdal
  Point data abstraction library
• gsl
  Numerical library for C and C++
• libgsf
  I/O abstraction library for dealing with structured file formats
• cloog
  Generate code for scanning Z-polyhedra
• texmacs
  a free wysiwyw word processor, structured document explorer, structured editor for Scheme/AST, typesetting system…
• fusesoc
  Package manager and build abstraction tool for HDL code
• crytic-compile
  Abstraction layer for smart contract build systems
• Scilab
  Software for numerical computation mathematics numerical computation

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents