ppl ☆
« Back to VersTracker
Description:
Parma Polyhedra Library: numerical abstractions for analysis, verification
Type: Formula  |  Latest Version: 1.2@0  |  Tracked Since: Oct 15, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: library c-plus-plus static-analysis mathematics verification
Install: brew install ppl
About:
The Parma Polyhedra Library (PPL) provides a C++ framework for manipulating convex polyhedra and other numerical abstract domains. It offers precise, parametric static analysis capabilities for verifying program properties and solving constraint systems. This library is essential for advanced compiler optimization and formal verification tools.
Key Features:
  • C++ library for convex polyhedra manipulation
  • Supports exact arithmetic via GMP
  • Interfaces for C, Java, and OCaml
  • Complete lattice of convex polyhedra
Use Cases:
  • Abstract interpretation for static program analysis
  • Constraint solving and system verification
  • Compiler optimization analysis
Alternatives:
  • Elina – Focuses on faster, parallel polyhedral operations for specific domains
  • Apron – Provides a unified interface for multiple numerical abstract domains
Version History
Detected Version Rev Change Commit
Oct 15, 2025 5:03pm 1 VERSION_BUMP ff3c2596
Sep 17, 2025 12:57am 1 VERSION_BUMP 844dd77c
Oct 26, 2024 9:51pm 1 VERSION_BUMP e73bedd3
« Back to VersTracker  |  Browse Packages  |  About