I use pypy for running angr in a faster way. Here are my installation instructions. I just use the schedule made by angr_ctf and update the codes support by the newest angr. So if you want to learn ...
# we have to avoid loop with conditional branch, so maybe we have to do some works just like this task ...