The core development team is very pleased to announce the availability of the long-awaited release 1.2 of the Parma Polyhedra Library.
This release includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements.
The precise list of user-visible changes is below. 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
-------------------------------------------------------------------------- NEWS for version 1.2 (released on February 11, 2016) --------------------------------------------------------------------------
New and Changed Features ========================
o Improved the efficiency of the conversion procedure for polyhedra by adding a quick adjacency check.
o In the Java language interface, throw an exception when trying to build a disequality Constraint.
Bugfixes ========
o Fixed a bug in the implementation of methods Pointset_Powerset<PSET>::relation_with(const Constraint&) const; and Pointset_Powerset<PSET>::relation_with(const Congruence&) const; whereby the computed result for relations strictly_intersects() and saturates() could have been wrong.
o Fixed a bug in the implementation of dense rows.
o Portability improved.