SAT-solver for package dependencies and conflicts
Convert a request to a string
Compute statistics about a solution
Return the new packages in the solution
Pretty-printing of statistics
Is the solution empty ?
Does the solution implies deleting or updating a package
Display a solution
Computes an opam->cudf version map from a set of package
Creates a CUDF universe from an OPAM universe, including the given
Given a description of packages, return a solution preserving the
consistency of the initial description.
Keep only the packages that are installable.
Return the topological sort of the transitive dependency closures
of a collection of packages.
Same as dependencies but for reverse dependencies
Create a sequential solution from a list of actions