Tags: smt z3 reversing re
Rating: 1.0
The solution of the chall can be found [here](https://github.com/werew/REstuffs/tree/master/CTFs/TUCTF2017/Reverse_Eng/Future)
I don't remember
