pub unsafe extern "C" fn solver_addbestrules( solv: *mut s_Solver, havebestinstalljobs: c_int, haslockjob: c_int, )