Filewatcher File Search File Search
Content Search
» » » » »


Parma Polyhedra Library (runtime library)

The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented.
Package version:0.10.2-8


Copyright (C) 2001-2009 Roberto Bagnara <>
See below for the copying conditions.

Parma Polyhedra Library (Release 0.10.2)

This is the release 0.10.2 of the Parma Polyhedra Library:
a C++ library for (not necessarily closed) convex polyhedra
and other numerical abstractions.

To be more precise, the Parma Polyhedra Library (PPL) can han


Parma Polyhedra Library NEWS -- history of user-visible changes

NEWS for version 0.10.2  (released on April 18, 2009)


o  Correctly detect GMP 4.3.0.

o  Fixed the 


ppl (0.10.2-8) unstable; urgency=low

  * Ignore testsuite failures on armel as these seem to be caused by
    miscompilation, see #593324.
  * No more swi-prolog on mips, don't build PPL Prolog interface on mips.
    Closes: #593393.

 -- Michael Tautschnig <>  Mon, 06 Sep 2010 12:31:59 +0200

ppl (0.10.2-7) unstable; urgency=low

  * Drop xpdf-utils from build depends to fix FTBFS. 


2009-04-18  Roberto Bagnara <>

	* PPL 0.10.2 released.

2009-04-16  Roberto Bagn


This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL):
a C++ library for the


The PPL developers encourage you to report any bugs you find to  Here `bug' 

Browse inside libppl7_0.10.2-8_i386.deb

         [DIR]DEBIAN/ (5)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libppl7_0.10.2-8_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016