CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-03-02 09:25:29
Modified files:
src : Polyhedron.cc
Log message:
In add_constraints(), corrected a bug whereby we were mixing constraints
having different row's capoacities into a single constraint system.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…