From 94fb868332554ff8815f4873a6c3770645146703 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 24 Feb 2025 18:03:21 -0800 Subject: [PATCH] support mixed case 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 c7424fc1e..0060e2e8a 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -188,7 +188,7 @@ namespace lp { } bool should_gomory_cut() { - return (!settings().dio_eqs() || settings().dio_enable_gomory_cuts()) + return (!all_columns_are_integral() ||(!settings().dio_eqs() || settings().dio_enable_gomory_cuts())) && m_number_of_calls % settings().m_int_gomory_cut_period == 0; }