Top > All Packages in Directory > Parma Polyhedra Library

Parma Polyhedra Library - C++ library for the manipulation of convex polyhedra

The Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra. 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), exception-safe, rather efficient, thoroughly documented, and free software. It comes with complete interfaces for C and Prolog.



Obtaining

Web pagehttp://www.cs.unipr.it/ppl/
Source tarball http://www.cs.unipr.it/ppl/Download/ftp/ppl/releases/0.5/ppl-0.5.tar.gz
Source informationhttp://www.cs.unipr.it/ppl/Download/
Latest versionhttp://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/
Version 0.5.0 (beta) released on 2003-04-28
Licensed under The GNU General Public License, Version 2.
This is not a GNU package.

Documentation
User guide in Postscript, PDF, HTML from http://www.cs.unipr.it/ppl/Documentation/; Developer reference in Postscript, PDF, HTML from http://www.cs.unipr.it/ppl/Documentation/.
Support contacts

Announce List<ppl-announce@cs.unipr.it> <ppl-announce-request@cs.unipr.it> http://www.cs.unipr.it/mailman/listinfo/ppl-announce
Help List<ppl-devel@cs.unipr.it> <ppl-devel-request@cs.unipr.it> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
Developer List<ppl-devel@cs.unipr.it> <ppl-devel-request@cs.unipr.it> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
Bug List<ppl-devel@cs.unipr.it> <ppl-devel-request@cs.unipr.it> http://www.cs.unipr.it/mailman/listinfo/ppl-devel

Project contacts

Maintainers
Developers
Contributors
  • Sara Bonini
  • Andrea Pescetti
  • Angela Stazzone
  • Tatiana Zolo
Sponsors
  • MURST Project

Related information

Source repository:pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/?cvsroot=ppl
Interfacescommand line
Source languagesC++
Supported languagesC, C++, Prolog
Use requirementsGmp 4.1
Build prerequisitesgcc 3.x

Entry information

License verified byJanet Casey <jcasey@gnu.org> on 2001-11-18
Entry compiled byRoberto Bagnara <bagnara@cs.unipr.it>

Categories



The copyright licensing notice below applies to this text. The software described in this text has its own copyright notice and license, which can usually be found in the distribution itself.

Copyright © 2000, 2001, 2002, 2003 Free Software Foundation, Inc.

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of this license is included in the file COPYING.DOC.

Please report any problems in this page to bug-directory@gnu.org, or find out how you can help fix them.

The FSF provides this directory as a service to the free software community. Please consider donating to the FSF to help support this project.