ppl http://www.cs.unipr.it/ppl/ Serdar Soytetir kaptan@pisilinux.org GPLv3 app:console library

Pharma Polyhedra library

ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems. http://bugseng.com/external/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz gmp-devel glpk-devel ppl gmp glpk libgcc /usr/bin /usr/lib /usr/share/doc/COPYING /usr/share/doc/CREDITS /usr/share/doc/README /usr/share/doc/NEWS /usr/share/man ppl-docs system.doc

Documentation for ppl

ppl /usr/share/doc/ppl ppl-devel

Development files for ppl

ppl gmp-devel libgcc /usr/bin/ppl-config /usr/include /usr/share/aclocal /usr/share/man/man3 2018-07-15 1.2 Rebuild Ertuğrul Erata ertugrulerata@gmail.com 2017-02-09 1.2 Rebuild. PisiLinux Community admin@pisilinux.org 2016-04-27 1.2 Release Bump PisiLinux Community admin@pisilinux.org 2016-03-13 1.2 First release Alihan Öztürk alihan@pisilinux.org