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

libppl7

Parma Polyhedra Library (runtime library)

Variants:
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.
Homepage:
Package version:0.10.2-8
Architecture:i386
Distribution:Debian
Filename:libppl7_0.10.2-8_i386.deb

/usr/share/doc/libppl7/README.gz

Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
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
more»

/usr/share/doc/libppl7/NEWS.gz

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


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

Bugfixes
========

o  Correctly detect GMP 4.3.0.

o  Fixed the 
more»

/usr/share/doc/libppl7/changelog.Debian.gz

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 <mt@debian.org>  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. 
more»

/usr/share/doc/libppl7/changelog.gz

2009-04-18  Roberto Bagnara <bagnara@cs.unipr.it>

	* PPL 0.10.2 released.

2009-04-16  Roberto Bagn
more»

/usr/share/doc/libppl7/copyright

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

/usr/share/doc/libppl7/BUGS

The PPL developers encourage you to report any bugs you find to
ppl-devel@cs.unipr.it.  Here `bug' 
more»

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 FileWatcher.com