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

libppl6

Parma Polyhedra Library: base package

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.9-5
Architecture:i386
Distribution:Debian
Filename:libppl6_0.9-5_i386.deb

/usr/share/doc/libppl6/README.gz

Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
See below for the copying conditions.


Parma Polyhedra Library (Release 0.9)
=====================================

This is the release 0.9 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 handle:

  +
more»

/usr/share/doc/libppl6/NEWS.gz

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


--------------------------------------------------------------------------
NEWS for version 0.9  (released on March 12, 2006)
--------------------------------------------------------------------------

New and Changed Features
========================

o  The class Gri
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
       -h, --help
              prints this help text to stdout

       -FFMT, --format=FMT
              sets the output format to FMT (one of `plain',  `make‐
       
more»

/usr/share/man/man1/ppl_lcdd.1.gz

PPL_LCDD(1)                 User Commands                PPL_LCDD(1)



NAME
       ppl_lcdd  -  a P
more»

/usr/share/man/man1/ppl_lpsol.1.gz

PPL_LPSOL(1)                User Commands               PPL_LPSOL(1)



NAME
       ppl_lpsol - a PP
more»

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

ppl (0.9-5) unstable; urgency=low

   * Added build-dep on texlive-extra-utils. Thanks Hilmar.
   * 
more»

/usr/share/doc/libppl6/changelog.gz

2006-03-12  Release Manager

	* PPL 0.9 Released.

2006-03-11 Saturday 08:46  Roberto Bagnara <bagna
more»

/usr/share/doc/libppl6/copyright

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

Browse inside libppl6_0.9-5_i386.deb

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

Download libppl6_0.9-5_i386.deb

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