PPL Links
If you are interested in the Parma Polyhedra Library, you may want to visit the following sites.
Brother Projects
- CHINA: A data-flow analyzer for CLP languages.
- CLAIR : The Combined Language and Abstract Interpretation Resource.
- PURRS : The Parma University’s Recurrence Relation Solver.
Papers
- Papers mentioning the PPL .
- The Polyhedral Computation FAQ , by Komei Fukuda.
- Ada Quality and Style: Guidelines for Professional Programmers .
- How To Write Unmaintainable Code , by Roedy Green.
- How To Write Shared Libraries , by Ulrich Drepper.
- Program Library HOWTO , by David A. Wheeler.
- How to Report Bugs Effectively , by Simon Tatham.
- How To Ask Questions The Smart Way , by Eric S. Raymond.
- Linux Software Debugging with GDB , by David Seager.
- Using git without feeling stupid (part 1) , by Paolo Bonzini.
- Using git without feeling stupid (part 2) , by Paolo Bonzini.
- Git from the bottom up , by John Wiegley.
- Git for Computer Scientists , by Tommi Virtanen.
Other Libraries
- Polylib : a library of polyhedral functions designed and programmed by Doran Wilde and Hervé Le Verge.
- New Polka was a library to handle convex polyhedra by Bertrand Jeannet, now integrated into Apron (see below). New Polka was mainly based on PolyLib and on the POLINE (POLyhedra INtegrated Environment) library by Nicolas Halbwachs and Yann-Erik Proy. POLKA (POLyhedra desK cAlculator) is an easy-to-use interface to POLINE, also written by Halbwachs and Proy. The features provided by the Polka library had been a starting point for our implementation.
- PolyLib : the successor of the library by Wilde and Le Verge.
- cdd/cdd+/cddlib : programs and library implementing the Double Description Method of Motzkin et al. [MRTT53, FP96].
- lrslib : a self-contained ANSI C implementation of the reverse search algorithm for vertex enumeration/convex hull problems.
- pd : an implementation of a primal-dual algorithm for vertex and facet enumeration.
- PORTA (POlyhedron Representation Transformation Algorithm): a collection of routines for analyzing polytopes and polyhedra.
- Polymake : a versatile tool for the algorithmic treatment of polytopes and polyhedra.
- The Apron numerical abstract domain library.
Tools We Use to Develop the PPL
- Doxygen : Source code documentation generator tool.
- cvs2cl.pl : A script for converting CVS log messages to ChangeLog files.
Languages and Systems Interfaced To the PPL
C++
C
Java
Caml
Prolog
People with Homepages Containing Interesting PPL-Related Material
Last updated on