The ProblemSolver