Top > All Packages in Directory > Parma Polyhedra Library
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.
|
|
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
| Maintainers | |
| Developers |
|
| Contributors |
|
| Sponsors |
|
| Source repository | :pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/?cvsroot=ppl |
| Interfaces | command line |
| Source languages | C++ |
| Supported languages | C, C++, Prolog |
| Use requirements | Gmp 4.1 |
| Build prerequisites | gcc 3.x |
| License verified by | Janet Casey <jcasey@gnu.org> on 2001-11-18 |
| Entry compiled by | Roberto 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.