mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-28 17:08:45 +00:00
Code Activity

change the order of lp and nlp propagation

Browse source
This commit is contained in:
Lev Nachmanson 2023-09-29 15:31:32 -07:00
parent b64fdef41f
commit 702322a6e9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_lra.cpp
View file

@ -2151,8 +2151,8 @@ public:
break; break;
case l_true: case l_true:
propagate_basic_bounds(); propagate_basic_bounds();
propagate_bounds_with_lp_solver();
propagate_bounds_with_nlp(); propagate_bounds_with_nlp();
propagate_bounds_with_lp_solver();
break; break;
case l_undef: case l_undef:
UNREACHABLE(); UNREACHABLE();