5 Aug
2004
5 Aug
'04
8:20 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2004-08-05 08:20:13
Modified files: . : TODO
Log message: ppl_Polyhedron_maximize, ppl_Polyhedron_maximize_with_point, and ppl_Polyhedron_minimize, ppl_Polyhedron_minimize_with_point have been added to the Prolog interface with corresponding additions to the documentation and pl_check.pl. Todo item on this removed.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1...