A Problem Solver for