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

ppl-dev

Parma Polyhedra Library (development binaries)

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.

This package provides the ppl-config binary.

Homepage:
Package version:0.11.2-8
Architecture:amd64
Distribution:Debian
Filename:ppl-dev_0.11.2-8_amd64.deb

/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/doc/ppl-dev/changelog.Debian.gz

ppl (0.11.2-8) unstable; urgency=low

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

 -- Matthias Klose <doko@debian.org>  Wed, 15 Aug 2012 15:56:30 +0200

ppl (0.11.2-7) unstable; urgency=low

  * Mark libppl0.11-dev as Multi-Arch: same again, and install the header
    files in the multiarch include path.
    Needs a follow-up patch to split out the ppl-config binary.
  * Disable t
more»

/usr/share/doc/ppl-dev/changelog.gz

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

	* PPL 0.11.2 released.

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

	* NEWS, README, Watchdog/src/Makefile.am, configure.ac,
	demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1,
	demos/ppl_pips/ppl_pips.1, doc/libppl.3, doc/libppl_c.3,
	doc/ppl-config.1, doc/ppl-config_extra_man_text, src/Makefile.am: 
	Preparation for the release of P
more»

/usr/share/doc/ppl-dev/copyright

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

Browse inside ppl-dev_0.11.2-8_amd64.deb

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

Download ppl-dev_0.11.2-8_amd64.deb

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