Package Info

pplite

install

Computations with polyhedra

Productivity/Scientific/Math
PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.
License: GPL-3.0-or-later
URL: https://www.cs.unipr.it/~zaffanella/PPLite/

Categories

Productivity Scientific Math

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.7-bp156.2.6 info GA Release 2024-05-13 15 SP6
  • AArch64
  • s390x
  • x86-64
  • libpplite1
  • pplite-devel
0.7-bp155.1.7 info GA Release 2023-05-17 15 SP5
  • AArch64
  • s390x
  • x86-64
  • libpplite1
  • pplite-devel