remove linear opt

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 25, 2024 · 803fd2a · 803fd2a
1 parent 7f02ee4
commit 803fd2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
@@ -558,7 +558,7 @@ namespace sls {
         if (find_nl_moves(lit))
             return true;
 
-        if (find_lin_moves(lit))
+        if (false && find_lin_moves(lit))
             return true;