[PPL-devel] [GIT] ppl/ppl(master): Use ASCII only.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Apr 20 22:14:13 CEST 2009
Module: ppl/ppl
Branch: master
Commit: d3349ad56bccefa589c9a858bd76836b09757aca
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3349ad56bccefa589c9a858bd76836b09757aca
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list