Add 4hanoi solver.