Parma Polyhedra Library 1.1

[Roberto Bagnara]

The core development team is very pleased to announce the availability
of PPL 1.1, a new release of the Parma Polyhedra Library.

This release includes support for "positive time elapse," a new operator
on polyhedra, improvements to the Java interface, several portability
improvements and a few bug fixes.

The precise list of user-visible changes is available at
http://bugseng.com/products/ppl/download/ftp/releases/1.1/NEWS .
For more information, please come and visit the PPL web site at

http://bugseng.com/products/ppl

On behalf of all the past and present developers listed at
http://bugseng.com/products/ppl/credits and in the file CREDITS,

Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara

BUGSENG srl
(http://bugseng.com)

--
Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bag...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto...@bugseng.com