From 18c75e633370a6469f4125c534b96737b7e83466 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 28 Aug 2024 15:18:38 -1000 Subject: [PATCH] less eager dio Signed-off-by: Lev Nachmanson --- 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 5a9789245..968333723 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -231,7 +231,7 @@ namespace lp { ++m_number_of_calls; 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 && (true||should_solve_dioph_eq())) r = solve_dioph_eq(); + if (r == lia_move::undef && should_solve_dioph_eq()) r = solve_dioph_eq(); if (r == lia_move::undef) lra.move_non_basic_columns_to_bounds(); if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut();