Title:          ppl.tcz
Description:    parma polyhedra library 
Version:        0.12.1
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 2.6MB
Extension_by:   juanito
Tags:	        parma polyhedra library 
Comments:       The parma polyhedra library provides numerical abstractions..
                ..especially targeted at applications in the field of analysis..
                ..and verification of complex systems.
                For use with the cloog extension
                ----------
                This extension contains:
                ppl-0.12.1 - GPLv3 - http://www.cs.unipr.it/ppl/Download/ftp/releases/0.12.1/ppl-0.12.1.tar.bz2
                ----------
Change-log:     2009/07/19
                recompiled for tc3
                2010/03/05
                updated 0.10.2 -> 0.11.2, recompiled on tc-4, split out devs
Change-log:     2011/09/01
                updated 0.11.2 -> 0.12.1
Current:        2013/03/23