13 Feb
2002
13 Feb
'02
11:07 a.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci@cs.unipr.it 2002-02-13 12:07:54
Modified files: src : minimize.cc
Log message: In functions minimize() and add_and_minimize(), to obtain the system of constraints in the case !con_to_gen now we use conversion().
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p...