Function solver_next_solution 

pub unsafe extern "C" fn solver_next_solution(
    solv: *mut s_Solver,
    problem: Id,
    solution: Id,
) -> Id