Try it online: https://hgarrereyn.github.io/dice-is-you/
This repository contains source code for Dice is you, a challenge from DiceCTF 2021.
This challenge was inspired by Baba is You.
This game was built with a custom engine written in C using SDL for graphics. You need the Emscripten compiler to build the wasm target.
Build with: ./build.sh
See solve.py for a reference z3 solution to level 5.