We have just released PPL 0.6.1. This release fixes some packaging and documentation issues that were present in PPL 0.6.

For more information, visit the PPL web site at

http://www.cs.unipr.it/ppl/

The PPL development team:

Roberto Bagnara bagnara@cs.unipr.it Patricia M. Hill hill@comp.leeds.ac.uk Enea Zaffanella zaffanella@cs.unipr.it

New and Changed Features ========================

o Some packaging issues have been fixed.

o The documentation has been completed and improved.

o The methods

Polyhedra_PowerSet::semantically_contains(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::semantically_equals(const Polyhedra_PowerSet&)

have been renamed

Polyhedra_PowerSet::geometrically_covers(const Polyhedra_PowerSet&) and Polyhedra_PowerSet::geometrically_equals(const Polyhedra_PowerSet& y),

respectively.