Home :: Startpage Search:

ppl: Parma Polyhedra Library1

Package available in: [trunk] [8.0]

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.

... part of T2, get it here

URL: http://bugseng.com/products/ppl/

Author: Roberto Bagnara <http://www [dot] cs [dot] unipr [dot] it/~bagnara>
Maintainer: The T2 Project <t2 [at] t2-project [dot] org>

License: GPL
Status: Stable
Version: 1.2

Download: http://bugseng.com/products/ppl/download/ftp/releases/1.2/ ppl-1.2.tar.bz2

T2 source: ppl.cache
T2 source: ppl.conf
T2 source: ppl.desc

Build time (on reference hardware): 75% (relative to binutils)2

Installed size (on reference hardware): 67.32 MB, 1549 files

Dependencies (build time detected): 00-dirtree binutils coreutils diffutils findutils gawk glpk gmp grep gzip libxml linux-header m4 make perl sed tar

Installed files (on reference hardware): [show]

1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).

Generated: in 0.08s — Copyright ©2004-2022 ExactCODE and others. All Rights Reserved. The T2 SDE Project is maintained
and driven by the community and sponsored by ExactCODE. This is a community maintained site. ExactCODE is not responsible for the content.