package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

dune-project

Dependency

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

Sourcemodule Defaultgraphs : sig ... end

Sourcemodule Depsolver : sig ... end

Dependency solver. Implementation of the Edos algorithms

Sourcemodule Depsolver_int : sig ... end

Dependency solver. Low Level API

Sourcemodule Diagnostic : sig ... end

Sourcemodule Dominators : sig ... end

Sourcemodule Flatten : sig ... end

Sourcemodule Statistics : sig ... end

Small World analisys

Sourcemodule Strongconflicts : sig ... end

Sourcemodule Strongconflicts_int : sig ... end

Strong Conflicts

Sourcemodule Strongdeps : sig ... end

Strong Dependencies