Function solver_printsolution 

pub unsafe extern "C" fn solver_printsolution(
    solv: *mut Solver,
    problem: Id,
    solution: Id,
)