The PC Problem Solver