mirror of
https://github.com/Z3Prover/z3
synced 2025-04-20 07:36:38 +00:00
dio_calls_period=4
This commit is contained in:
parent
cc5c98f5b0
commit
3fd7ee93be
|
@ -7,6 +7,6 @@ def_module_params(module_name='lp',
|
|||
('dio_cuts_enable_gomory', BOOL, False, 'enable Gomory cuts together with Diophantine cuts, only relevant when dioph_eq is true'),
|
||||
('dio_cuts_enable_hnf', BOOL, True, 'enable hnf cuts together with Diophantine cuts, only relevant when dioph_eq is true'),
|
||||
('dio_ignore_big_nums', BOOL, True, 'Ignore the terms with big numbers in the Diophantine handler, only relevant when dioph_eq is true'),
|
||||
('dio_calls_period', UINT, 1, 'Period of calling the Diophantine handler in the final_check()'),
|
||||
('dio_calls_period', UINT, 4, 'Period of calling the Diophantine handler in the final_check()'),
|
||||
))
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue