Partial Evaluation should be performed as much as possible before passing to Z3. Anything that z3 doesn't have to solve, it shouldn't consider.
Partial Evaluation should be performed as much as possible before passing to Z3.
Anything that z3 doesn't have to solve, it shouldn't consider.