From 76a2bf5378fbf8fde2e54f04d565545c9c5c92fa Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 4 Feb 2026 06:02:35 -1000 Subject: [PATCH] set nlsat.lws=true by default, enable levelwise 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 869a17587..1ab305984 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, False, "apply levelwise."), + ('lws', BOOL, True, "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.") ))