Module: ppl/ppl Branch: master Commit: d3349ad56bccefa589c9a858bd76836b09757aca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3349ad56bcce...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 4 09:27:25 2008 +0000

Use ASCII only.

---

TODO | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/TODO b/TODO index 448e9e2..7c6d9cc 100644 --- a/TODO +++ b/TODO @@ -92,10 +92,10 @@ Enhancements for PPL 0.11 or later versions Polyhedron::fold_dimensions(). - Suppose we are only interested in integral solutions (as is the case, e.g., in most termination analyses). Then cutting-plane methods - (Gomory, Chvátal, ...) allow to shrink polyhedra still not losing any + (Gomory, Chvatal, ...) allow to shrink polyhedra still not losing any integral solution. See http://www.cs.unipr.it/ppl/Documentation/bibliography#NemhauserW88 - Check the work by Kent Andersen and Gérard Cornuéjols on + Check the work by Kent Andersen and Gerard Cornuejols on reduce-and-split cuts. - Add an implementation of Minkowski addition. Check the algorithm described in