From d24c488482e4c3cd391c940fea7a03b8116878d8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 28 Feb 2025 18:19:36 -0800 Subject: [PATCH] fix error in mk_nuget_task.py Signed-off-by: Nikolaj Bjorner --- src/math/lp/int_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 9edb3187b..f39718c00 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -321,7 +321,7 @@ namespace lp { if (r == lia_move::undef) r = patch_basic_columns(); if (r == lia_move::undef && should_find_cube()) r = int_cube(lia)(); if (r == lia_move::undef) lra.move_non_basic_columns_to_bounds(); - if (r == lia_move::undef) r = tighten_bounds(); + // if (r == lia_move::undef) r = tighten_bounds(); if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut(); if (r == lia_move::undef && should_gomory_cut()) r = gomory(lia).get_gomory_cuts(2); if (r == lia_move::undef && should_solve_dioph_eq()) r = solve_dioph_eq();