mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
parent
fd5448d26b
commit
a6a5985f8e
|
@ -45,14 +45,19 @@ namespace nla {
|
|||
if (is_conflicting())
|
||||
return;
|
||||
|
||||
if (propagate_bounds())
|
||||
return;
|
||||
try {
|
||||
if (propagate_bounds())
|
||||
return;
|
||||
|
||||
if (propagate_eqs())
|
||||
return;
|
||||
if (propagate_eqs())
|
||||
return;
|
||||
|
||||
if (propagate_factorization())
|
||||
return;
|
||||
if (propagate_factorization())
|
||||
return;
|
||||
}
|
||||
catch (...) {
|
||||
|
||||
}
|
||||
|
||||
if (quota > 1)
|
||||
quota--;
|
||||
|
|
Loading…
Reference in a new issue