From 2ee91d866a85934c7428e9ae5eb00dae18d8b9ce Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 26 Jun 2023 19:34:45 -0700 Subject: [PATCH] control branching with parameter Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_core.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index fa2f7afd6..ecda601b9 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -1570,8 +1570,7 @@ lbool core::check(vector& lits, vector& l_vec) { bool run_grobner = need_run_grobner(); bool run_horner = need_run_horner(); bool run_bounded_nlsat = should_run_bounded_nlsat(); - bool run_bounds = true; //m_nla_settings.branch_nl; - + bool run_bounds = params().arith_nl_branching(); if (l_vec.empty() && !done())