mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
less eager dio
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
bbeecc6f7c
commit
18c75e6333
|
@ -231,7 +231,7 @@ namespace lp {
|
|||
++m_number_of_calls;
|
||||
if (r == lia_move::undef) r = patch_basic_columns();
|
||||
if (r == lia_move::undef && should_find_cube()) r = int_cube(lia)();
|
||||
if (r == lia_move::undef && (true||should_solve_dioph_eq())) r = solve_dioph_eq();
|
||||
if (r == lia_move::undef && should_solve_dioph_eq()) r = solve_dioph_eq();
|
||||
if (r == lia_move::undef) lra.move_non_basic_columns_to_bounds();
|
||||
if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut();
|
||||
|
||||
|
|
Loading…
Reference in a new issue