Skip to content

Commit 887ecc0

Browse files
committed
throttle grobner method more actively
Signed-off-by: Lev Nachmanson <[email protected]>
1 parent 58e64ea commit 887ecc0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/params/smt_params_helper.pyg

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ def_module_params(module_name='smt',
8080
('arith.nl.grobner_cnfl_to_report', UINT, 1, 'grobner\'s maximum number of conflicts to report'),
8181
('arith.nl.grobner_propagate_quotients', BOOL, True, 'detect conflicts x*y + z = 0 where x doesn\'t divide z'),
8282
('arith.nl.grobner_gcd_test', BOOL, True, 'detect gcd conflicts for polynomial powers x^k - y = 0'),
83-
('arith.nl.grobner_exp_delay', BOOL, False, 'use exponential delay between grobner basis attempts'),
83+
('arith.nl.grobner_exp_delay', BOOL, True, 'use exponential delay between grobner basis attempts'),
8484
('arith.nl.gr_q', UINT, 10, 'grobner\'s quota'),
8585
('arith.nl.grobner_subs_fixed', UINT, 1, '0 - no subs, 1 - substitute, 2 - substitute fixed zeros only'),
8686
('arith.nl.grobner_expand_terms', BOOL, True, 'expand terms before computing grobner basis'),

0 commit comments

Comments
 (0)