A debugging tool for sokoban solvers.