Tags: reverse z3 

Rating:

Original writeup (https://www.soeasy.re/ctf-inter-iut-bithagore/).