From 2bcb56fb1394d7ca9852b550f90c73ea380e66ea Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 25 Aug 2024 13:00:08 -0700 Subject: [PATCH] disable non-tabu version of find_nl_moves Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_arith_base.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp index 150e3a57a..807b88c9e 100644 --- a/src/ast/sls/sls_arith_base.cpp +++ b/src/ast/sls/sls_arith_base.cpp @@ -560,7 +560,7 @@ namespace sls { return true; flet _tabu(m_use_tabu, false); - if (find_nl_moves(lit)) + if (false && find_nl_moves(lit)) return true; if (false && find_lin_moves(lit)) return true;