From bfc37bd266d7931d4f8c7820139c935abf4fa468 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 17 Jul 2023 08:00:01 -1000 Subject: [PATCH] add to m_touched_rows only when bound propagation is required --- src/math/lp/lar_solver.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index dd4f10be8..4aecbf2cc 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -619,11 +619,10 @@ namespace lp { } void lar_solver::add_touched_row(unsigned rid) { - m_touched_rows.insert(rid); + if (m_settings.bound_propagation()) + m_touched_rows.insert(rid); } - - bool lar_solver::use_tableau_costs() const { return m_settings.simplex_strategy() == simplex_strategy_enum::tableau_costs; }