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

libppl9

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.11.2-8
Architecture:i386
Distribution:Debian
Filename:libppl9_0.11.2-8_i386.deb

/usr/share/doc/libppl9/README.gz

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.


Parma Polyhedra Library (Release 0.11.2)
========================================

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

To b
more»

/usr/share/doc/libppl9/README.swiprolog

The SWI-Prolog interface to the Parma Polyhedra Library (PPL) is
available both as a statically linked module or as a dynamically
linked one.  Only SWI-Prolog version 5.6.0 and later versions are
supported.


The `ppl_pl' Executable
-----------------------

The `ppl_pl' executable is simply the SWI-Prolog shell with the PPL
statically linked: from within `ppl_pl' all the services of the
library ar
more»

/usr/share/doc/libppl9/NEWS.gz

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)

Verbatim copying and distribution of this entire article is permitted
in any medium, provided this notice is preserved.


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


----------------------------
more»

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

ppl (0.11.2-8) unstable; urgency=low

  * Split out a ppl-dev package with the ppl-config binary.

 
more»

/usr/share/doc/libppl9/changelog.gz

2011-02-27  Roberto Bagnara <bagnara@cs.unipr.it>

	* PPL 0.11.2 released.

2011-02-27  Roberto Bagn
more»

/usr/share/doc/libppl9/copyright

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

/usr/share/doc/libppl9/BUGS

The PPL developers encourage you to report any bugs you find using the
bug tracking system availabl
more»

Browse inside libppl9_0.11.2-8_i386.deb

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

Download libppl9_0.11.2-8_i386.deb

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