[PPL-announce] Parma Polyhedra Library 0.6.1

[Roberto Bagnara]

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 at cs.unipr.it>
       Patricia M. Hill <hill at comp.leeds.ac.uk>
       Enea Zaffanella  <zaffanella at 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.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it