From 7d8e192344383106813083a07baf43b61828205f Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 21 Nov 2024 19:33:40 -0800 Subject: [PATCH] change int_solver to call find_cube and hnf_cut, conditionally Signed-off-by: Lev Nachmanson --- src/math/lp/int_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 45bcd58bd..6648c3684 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -186,7 +186,7 @@ namespace lp { lp_settings& settings() { return lra.settings(); } bool should_find_cube() { - return false && m_number_of_calls % settings().m_int_find_cube_period == 0; + return m_number_of_calls % settings().m_int_find_cube_period == 0; } bool should_gomory_cut() { @@ -199,7 +199,7 @@ namespace lp { } bool should_hnf_cut() { - return false && settings().enable_hnf() && m_number_of_calls % settings().hnf_cut_period() == 0; + return !settings().dio_cuts() && settings().enable_hnf() && m_number_of_calls % settings().hnf_cut_period() == 0; } lia_move hnf_cut() {