|
PPL
|
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 95 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: a library to handle convex polyhedra by Bertrand Jeannet.
This is 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 New Polka library has 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
[Page last updated on February 22, 2009, 16:53:36.]
|