Asakura! P is an obscure 2d platformer with action, puzzle, and metroidvania elements. I hold the speedrun world records in the any% category (beat the game as fast as possible) and 100% category (collect everything as fast as possible).
To plan the route for the 100% run, I wrote various tools. One of them uses the Z3 SMT solver to figure out the optimal order of each section in the second half of the run.