let init_pool_univ univ =
let pool =
Array.init (Cudf.universe_size univ) (fun uid ->
let pkg = Cudf.package_by_uid univ uid in
let dll =
List.map (fun vpkgs ->
(vpkgs, CudfAdd.resolve_vpkgs_int univ vpkgs)
) pkg.Cudf.depends
in
let cl =
List.map (fun vpkg ->
(vpkg, CudfAdd.resolve_vpkg_int univ vpkg)
) pkg.Cudf.conflicts
in
(dll,cl,pkg.Cudf.keep = `Keep_package)
)
in CudfPool pool