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...

I don't use angr but Z3 directly.