What else does a Solver need besides Problems?