From 879bc4cf7308396cc0a0fc0fb5d0b0a2fe72c3d0 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 4 Feb 2026 05:32:17 -1000 Subject: [PATCH] set default to nlsat.lws=false for the merge with master Signed-off-by: Lev Nachmanson --- src/nlsat/nlsat_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nlsat/nlsat_params.pyg b/src/nlsat/nlsat_params.pyg index 1ab305984..869a17587 100644 --- a/src/nlsat/nlsat_params.pyg +++ b/src/nlsat/nlsat_params.pyg @@ -22,7 +22,7 @@ def_module_params('nlsat', ('add_all_coeffs', BOOL, False, "add all polynomial coefficients during projection."), ('zero_disc', BOOL, False, "add_zero_assumption to the vanishing discriminant."), ('known_sat_assignment_file_name', STRING, "", "the file name of a known solution: used for debugging only"), - ('lws', BOOL, True, "apply levelwise."), + ('lws', BOOL, False, "apply levelwise."), ('lws_spt_threshold', UINT, 2, "minimum both-side polynomial count to apply spanning tree optimization; < 2 disables spanning tree"), ('canonicalize', BOOL, True, "canonicalize polynomials.") ))