[PPL-devel] Re: Polyhedra bounded by stricts inequalities...
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 12 20:02:12 CEST 2002
Dear Christophe,
this message is just to let you know that the Parma Polyhedra Library
now supports polyhedra bounded by a mixture of strict and non strict
inequalities. The CVS version already contains a complete implementation,
even though we are still working on it. We may be able to release the
new version of the library in 3/4 weeks, but we can provide snapshots
before that time.
All the best
Roberto
--
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-devel
mailing list