Dice Is You [RE] February 21, 2021 11 minute read A wasm reversing challenge using closure compiler to simplify code, and z3 to solve for final solution.