From 144c9a7b827f235f6331287d75ee8b3c6109c3ce Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 15 Jul 2023 09:23:37 -0700 Subject: [PATCH] restore the change_rows population in lar_solver --- src/math/lp/lar_solver.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index 84f1b70c7..f4067d9bb 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -203,6 +203,12 @@ namespace lp { return m_status; } solve_with_core_solver(); + if (m_status != lp_status::INFEASIBLE) { + if (m_settings.bound_propagation()) + detect_rows_with_changed_bounds(); + } + + clear_columns_with_changed_bounds(); return m_status; } @@ -700,8 +706,6 @@ namespace lp { void lar_solver::update_x_and_inf_costs_for_columns_with_changed_bounds_tableau() { for (auto j : m_columns_with_changed_bounds) update_x_and_inf_costs_for_column_with_changed_bounds(j); - // whoever consumes this should clear it - m_columns_with_changed_bounds.clear(); }