solver_next_problem

Function solver_next_problem 

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