Solvers for the 8 puzzle.