let dependency_closure ?(maxdepth=max_int) ?(conjunctive=false) universe pkglist =
  let pool = init_pool_univ ~global_constraints:false universe in
  let idlist = List.map (CudfAdd.vartoint universe) pkglist in
  let l = dependency_closure_cache ~maxdepth ~conjunctive pool idlist in
  List.map (CudfAdd.inttovar universe) l