We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library.
This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging and several bug fixes. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.1/NEWS . For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present contributors listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara <[email protected]> Patricia M. Hill <[email protected]> Enea Zaffanella <[email protected]> -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[email protected]
