angr-z3

angr-z3 copied to clipboard

New z3 versions for pypi

7

Hi, It's been a long time since a release of z3 in pypi, So wouldn't it be good to have a release now with all the latest updates of z3?

norhh

Not really an issue

4

Dear all, I would know if there is a reason for the z3-solver to be slower with Pyhton 3.7 than with Python 3.5. best regards

jcr2015