SAT-solver for package dependencies and conflicts
Computes an opam->cudf version map from a set of package
Creates a CUDF universe from an OPAM universe, including the given packages
Given a description of packages, return a solution preserving the consistency of the initial description.
Keep only the packages that are installable.