[PPL-announce] Parma Polyhedra Library 0.6.1
Roberto Bagnara
bagnara at cs.unipr.it
Fri Aug 20 22:30:50 CEST 2004
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
More information about the PPL-announce
mailing list