ppl-devel - Development tools for the Parma Polyhedra Library C and C++ interfaces
Description:
The header files, Autoconf macro, documentation, and ppl-config tool developing applications using the Parma Polyhedra Library through its C and C++ interfaces.
Homepage: http://www.cs.unipr.it/ppl/
License: GPLv2+
Vendor: Fedora Project
Packages
ppl-devel-0.9-16.fc8.i386 [252 KiB] |
Changelog by Roberto Bagnara (2007-09-29):
- The value of the `License' tag is now `GPLv2+'. - `ppl-swiprolog' dependency on `readline-devel' removed (again). |