School of Computing, Australian National University |
February 2023 – June 2023

I developed an automated solver for the Rush Hour puzzle, a PSPACE-complete problem, by modeling the game in PDDL (Planning Domain Definition Language). The system parses puzzle instances from text input, uses the Fast Downward planner to generate solutions, and automatically produces step-by-step video visualizations of the solving process.
