Not really an issue

[jcr2015]

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

[ltfish]

I'm unaware of that. How are you testing it?

[jcr2015]

I did not do precise test, I only measure the time of my application with python 3.5 and python 3.7. I was surprise since 3.7 takes twice the time of 3.5. I am thinking that I use the pydev environment and may be it is responsible of the differences I observed. I will look at this side. regards

[ltfish]

Are you using Z3 directly or using angr (thus, using claripy)?

[jcr2015]

I don't use angr but Z3 directly.