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