From efa149bed19fe1c17da54937407ea9470c61f01f Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 25 Jun 2018 16:51:31 -0700 Subject: [PATCH] always apply cube Signed-off-by: Lev Nachmanson --- src/util/lp/lar_solver.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 7e529758b..9bcbba146 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -2244,16 +2244,13 @@ void lar_solver::set_cut_strategy(unsigned cut_frequency) { if (cut_frequency < 4) { // enable only gomory cut settings().m_int_gomory_cut_period = 2; settings().m_hnf_cut_period = 100000000; - settings().m_int_find_cube_period = 100000000; } else if (cut_frequency == 4) { // enable all cuts and cube equally settings().m_int_gomory_cut_period = 4; settings().m_hnf_cut_period = 4; - settings().m_int_find_cube_period = 4; } else { // disable all heuristics settings().m_int_gomory_cut_period = 10000000; settings().m_hnf_cut_period = 100000000; - settings().m_int_find_cube_period = 100000000; } }