Solver for planning problems.