Parma Polyhedra Library 0.12.1

[Roberto Bagnara]

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

This release includes portability improvements, a couple of new
minor features, some interface changes and an important bug fix
concerning the PIP solver.

The precise list of user-visible changes is available at
http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/NEWS .
For more information, please come and visit the new 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