Categories

Visit BadVista.org Visit PlayOgg.org Visit DefectiveByDesign.org

Parma Polyhedra Library

The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. The PPL can handle all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or inequality (strict or non-strict) with rational coefficients. The PPL also handles restricted classes of polyhedra that offer interesting complexity/precision tradeoffs. The library also supports finite powersets of (any kind of) polyhedra and linear programming problems solved with an exact-arithmetic version of the simplex algorithm.

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), portable, exception-safe, rather efficient, thoroughly documented, and free software. It comes with complete interfaces for C++, C, Java, Objective CAML and Prolog.

Last updated 6 Mar, 2008


User level: Submit a level

User Rating:

Homepage

License(s) :

GPLv2

Rate it!

 

About

Leadership
Requirements
  • Gmp 4.1.3 (Use Requirement)
  • gcc 3.x (Build Prerequisite)

Versions

0.9.0

0.9.0 beta released on 2006-03-12

User Community and Support

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/.

General Resources
Announcement Resources
Support Resources

Development

Developer Resources
Bug Tracking Resources
 

Please send comments on these web pages to bug-directory@fsf.org, send other questions to info@fsf.org.

Copyright © 2000 - 2008 Free Software Foundation, Inc., 51 Franklin Street, 5th Floor, Boston, MA 02110-1301, USA

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

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 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.