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)
    )
  in CudfPool pool