From fb52c362107a1f41c0b1e5214a2f2a461d8cabf8 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Wed, 30 May 2018 09:11:16 -0700 Subject: [PATCH] spacer: switch to new IUC as default --- src/muz/base/fixedpoint_params.pyg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/muz/base/fixedpoint_params.pyg b/src/muz/base/fixedpoint_params.pyg index b32f1f586..7b8f8fb72 100644 --- a/src/muz/base/fixedpoint_params.pyg +++ b/src/muz/base/fixedpoint_params.pyg @@ -181,11 +181,11 @@ def_module_params('fixedpoint', ('spacer.keep_proxy', BOOL, True, 'keep proxy variables (internal parameter)'), ('spacer.q3.instantiate', BOOL, True, 'instantiate quantified lemmas'), ('spacer.q3', BOOL, True, 'allow quantified lemmas in frames'), - ('spacer.iuc', UINT, 0, + ('spacer.iuc', UINT, 1, '0 = use old implementation of unsat-core-generation, ' + '1 = use new implementation of IUC generation, ' + '2 = use new implementation of IUC + min-cut optimization'), - ('spacer.iuc.arith', UINT, 0, + ('spacer.iuc.arith', UINT, 1, '0 = use simple Farkas plugin, ' + '1 = use simple Farkas plugin with constant from other partition (like old unsat-core-generation),' + '2 = use Gaussian elimination optimization (broken), 3 = use additive IUC plugin'),