`val strongdeps : ?transitive:bool -> Cudf.universe -> Cudf.package list -> Defaultgraphs.PackageGraph.G.t`

`strongdeps u l` build the strong dependency graph of all packages in `l` wrt the universe `u`

`val strongdeps_univ : ?transitive:bool -> Cudf.universe -> Defaultgraphs.PackageGraph.G.t`

`strongdeps_univ u` build the strong dependency graph of all packages in the universe `u`

`val impactset : Defaultgraphs.PackageGraph.G.t -> Cudf.package -> Cudf.package list`

compute the impact set of the node `q`, that is the list of all packages `p` that strong depends on `q`

`val conjdeps_univ : Cudf.universe -> Defaultgraphs.PackageGraph.G.t`

compute the conjunctive dependency graph

`val conjdeps : Cudf.universe -> Cudf.package list -> Defaultgraphs.PackageGraph.G.t`

compute the conjunctive dependency graph considering only packages in `pkglist`