Tags: keygening angr symbolic 

Rating:

Solved using angr.

Original writeup (http://hack.carleton.team/2016/05/05/google-ctf-2016-unbreakable-enterprise-product-activation-150-points/).