Here is how I solved all the challenges of the @grehackconf CTF teaser, using Python and Z3: https://gist.github.com/fishilico/0b69a267b73111860fe5ac668a94df2e
Here is how I solved all the challenges of the @grehackconf CTF teaser, using Python and Z3: https://gist.github.com/fishilico/0b69a267b73111860fe5ac668a94df2e