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