Function solver_solutionelement_count 

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