From cc3328be8d9785ee61afb6f7b996e2a3c10cf2a3 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 24 Nov 2025 06:22:34 -1000 Subject: [PATCH] disable add_zero_disc(disc) by default 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 a5f91d2df..2403f94b2 100644 --- a/src/nlsat/nlsat_params.pyg +++ b/src/nlsat/nlsat_params.pyg @@ -21,7 +21,7 @@ def_module_params('nlsat', ('seed', UINT, 0, "random seed."), ('factor', BOOL, True, "factor polynomials produced during conflict resolution."), ('add_all_coeffs', BOOL, False, "add all polynomial coefficients during projection."), - ('zero_disc', BOOL, True, "add_zero_assumption to the vanishing discriminant."), + ('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") ))