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

libppl0.10-dev

Parma Polyhedra Library (development)

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.

This package provides the header files and static libraries for the C and C++ interfaces.

Homepage:
Package version:0.10.2-8
Architecture:powerpc
Distribution:Debian
Filename:libppl0.10-dev_0.10.2-8_powerpc.deb

/usr/share/doc/libppl0.10-dev/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/libppl0.10-dev/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/man/man1/ppl-config.1.gz

PPL-CONFIG(1)               User Commands              PPL-CONFIG(1)



NAME
       ppl-config  - obtain information about an installation of the
       Parma Polyhedra Library

SYNOPSIS
       ppl-config [OPTION]...

DESCRIPTION
       Displays information, in various formats, about an  installa‚Äź
       tion of the Parma Polyhedra Library.

OPTIONS
       -h, --help
              prints this he
more»

/usr/share/man/man3/libppl.3.gz

libppl(3)                  libppl overview                 libppl(3)



NAME
       libppl - the C++
more»

/usr/share/man/man3/libppl_c.3.gz

libppl_c(3)               libppl_c overview              libppl_c(3)



NAME
       libppl_c - the C
more»

/usr/share/doc/libppl0.10-dev/changelog.Debian.gz

ppl (0.10.2-8) unstable; urgency=low

  * Ignore testsuite failures on armel as these seem to be cau
more»

/usr/share/doc/libppl0.10-dev/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/libppl0.10-dev/copyright

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

Browse inside libppl0.10-dev_0.10.2-8_powerpc.deb

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

Download libppl0.10-dev_0.10.2-8_powerpc.deb

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