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