pub unsafe extern "C" fn solver_create_state_maps( solv: *mut Solver, installedmap: *mut Map, conflictsmap: *mut Map, )