Fix constraint print in Solver.
Fix indent in problem.hxx.