`module Defaultgraphs : sig ... end`
`module Depsolver : sig ... end`

Dependency solver. Implementation of the Edos algorithms

`module Depsolver_int : sig ... end`

Dependency solver. Low Level API

`module Diagnostic : sig ... end`
`module Dominators : sig ... end`
`module Flatten : sig ... end`
`module Statistics : sig ... end`

Small World analisys

`module Strongconflicts : sig ... end`
`module Strongconflicts_int : sig ... end`

Strong Conflicts

`module Strongdeps : sig ... end`

Strong Dependencies