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