Puzzle solvers using A*