From b2b811749af281c9b654f2dd8755cdaebf508a6b Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 14 Mar 2026 14:55:44 -1000 Subject: [PATCH] fix restore_x by recalulating new column values Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h index b1c293346..a5d49dd33 100644 --- a/src/math/lp/lar_solver.h +++ b/src/math/lp/lar_solver.h @@ -450,8 +450,7 @@ public: // to restore the Ax=0 tableau invariant, then snap // non-basic columns to their bounds and find a feasible solution. for (unsigned i = 0; i < A_r().row_count(); i++) - if (r_basis()[i] >= backup_sz) - set_column_value(r_basis()[i], get_basic_var_value_from_row(i)); + set_column_value(r_basis()[i], get_basic_var_value_from_row(i)); move_non_basic_columns_to_bounds(); } else {