Document: libppl
Title: The Parma Polyhedra Library User Manual
Author: PPL developers <ppl-devel@cs.unipr.it>
Abstract: This manual contains a general introduction to the Parma
 Polyhedra Library (PPL) and full documentation of the PPL C++
 interface.
Section: Programming/C++

Format: postscript
Files: /usr/share/doc/libppl-doc/ppl-user-print.ps.gz

Format: pdf
Files: /usr/share/doc/libppl-doc/ppl-user-browse.pdf.gz

Format: HTML
Index: /usr/share/doc/libppl-doc/html/user-manual/index.html
Files: /usr/share/doc/libppl-doc/html/user-manual/*.html
