Generify DummyGenerator.
Implement IterativeDeepeningSolver.
Implement IDA* (IDAStarSolver).