let strongdeps ?(transitive=true) universe pkglist = let idlist = List.map (CudfAdd.vartoint universe) pkglist in let closure = Depsolver_int.dependency_closure universe idlist in Strongdeps_int.strongdeps ~transitive universe closure