pin to z3 == 4.10.2.0 since 4.11 seems to have introduced serious performance regressions (#287)
pin to z3 == 4.10.2.0 since 4.11 seems to have introduced serious performance regressions (#287)


angr/claripy