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:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com
