WelcomeWelcome | FAQFAQ | DownloadsDownloads | WikiWiki

Author Topic: ppl  (Read 1309 times)

Offline Juanito

  • Administrator
  • Hero Member
  • *****
  • Posts: 14545
ppl
« on: August 03, 2009, 01:51:16 PM »
ppl tcel/tczl posted:
Code: [Select]
Title:          ppl.tcel
Description:    parma polyhedra library
Version:        0.10.2
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 4.1MB
Extension by:   juanito
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.10.2 - GPLv3 - http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.2/ppl-0.10.2.tar.bz2
                ----------
Change-log:     First version
Current:        2009/07/19