From 106b677201fd385a60aa510b6abe827bd0f2ee91 Mon Sep 17 00:00:00 2001 From: Lev Date: Sat, 15 Sep 2018 17:47:54 -0700 Subject: [PATCH] fixes in gomory cut Signed-off-by: Lev --- src/util/lp/gomory.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/gomory.cpp b/src/util/lp/gomory.cpp index 29dc98bd6..55098dccf 100644 --- a/src/util/lp/gomory.cpp +++ b/src/util/lp/gomory.cpp @@ -61,7 +61,7 @@ class gomory::imp { } else { lp_assert(at_upper(j)); - // the upper terms are inverted - therefore we have - + // the upper terms are inverted: therefore we have the minus new_a = - (fj < f0? fj / f0 : one_minus_fj / one_minus_f0); m_k.addmul(new_a, upper_bound(j).x); m_ex.push_justification(column_upper_bound_constraint(j), new_a);