solver_next_problem
Id solver_next_problem(struct _Solver *solv, Id problem);
while ((problem = solver_next_problem(solv, problem)) != 0)