From f9151a7a8e20e58df6430113e1600787f2237e80 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 27 Mar 2020 13:55:23 -0700 Subject: [PATCH] correct the default options: smt.arith.nla=False Signed-off-by: Lev Nachmanson --- src/smt/params/smt_params_helper.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/params/smt_params_helper.pyg b/src/smt/params/smt_params_helper.pyg index 6166d7b21..28e1490a7 100644 --- a/src/smt/params/smt_params_helper.pyg +++ b/src/smt/params/smt_params_helper.pyg @@ -76,7 +76,7 @@ def_module_params(module_name='smt', ('arith.simplex_strategy', UINT, 0, 'simplex strategy for the solver'), ('arith.enable_hnf', BOOL, True, 'enable hnf (Hermite Normal Form) cuts'), ('arith.bprop_on_pivoted_rows', BOOL, True, 'propagate bounds on rows changed by the pivot operation'), - ('arith.nla', BOOL, True, 'call nonlinear solver'), + ('arith.nla', BOOL, False, 'call nonlinear solver'), ('arith.print_ext_var_names', BOOL, False, 'print external variable names'), ('pb.conflict_frequency', UINT, 1000, 'conflict frequency for Pseudo-Boolean theory'), ('pb.learn_complements', BOOL, True, 'learn complement literals for Pseudo-Boolean theory'),