From 0835420cc12cc56263efadd1696ba56b0a7884ef Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 24 Feb 2026 15:24:35 -1000 Subject: [PATCH] change the default of param lws_subs_witness_disc to true 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 b0e0c884f..048fcf521 100644 --- a/src/nlsat/nlsat_params.pyg +++ b/src/nlsat/nlsat_params.pyg @@ -25,6 +25,6 @@ def_module_params('nlsat', ('lws', BOOL, True, "apply levelwise."), ('lws_spt_threshold', UINT, 4, "minimum both-side polynomial count to apply spanning tree optimization; < 2 disables spanning tree"), ('lws_witness_subs_lc', BOOL, True, "try substitute the non-nullified witness by the lc"), - ('lws_witness_subs_disc', BOOL, False, "try substitute the non-nullified witness by the discriminant"), + ('lws_witness_subs_disc', BOOL, True, "try substitute the non-nullified witness by the discriminant"), ('canonicalize', BOOL, True, "canonicalize polynomials.") ))