From 97437bce4c5cf8afa61dc2bc0ebfc78ff7ca30a1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 9 Jun 2022 10:09:30 -0700 Subject: [PATCH] Update sat_params.pyg --- src/sat/sat_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_params.pyg b/src/sat/sat_params.pyg index c122e6601..71ac81715 100644 --- a/src/sat/sat_params.pyg +++ b/src/sat/sat_params.pyg @@ -50,7 +50,7 @@ def_module_params('sat', ('drat.binary', BOOL, False, 'use Binary DRAT output format'), ('drat.check_unsat', BOOL, False, 'build up internal proof and check'), ('drat.check_sat', BOOL, False, 'build up internal trace, check satisfying model'), - ('drup.trim', BOOL, False, 'build and trim drup proof'), + ('drup.trim', BOOL, False, 'build and trim drup proof'), ('drat.activity', BOOL, False, 'dump variable activities'), ('cardinality.solver', BOOL, True, 'use cardinality solver'), ('pb.solver', SYMBOL, 'solver', 'method for handling Pseudo-Boolean constraints: circuit (arithmetical circuit), sorting (sorting circuit), totalizer (use totalizer encoding), binary_merge, segmented, solver (use native solver)'),