module OpamSolver:sig
..end
val string_of_request : OpamTypes.atom OpamTypes.request -> string
val stats : OpamTypes.solution -> OpamTypes.stats
val new_packages : OpamTypes.solution -> OpamTypes.package_set
val string_of_stats : OpamTypes.stats -> string
val solution_is_empty : OpamTypes.solution -> bool
val delete_or_update : OpamTypes.solution -> bool
val print_solution : messages:(OpamTypes.package -> string list) ->
rewrite:(OpamTypes.package -> OpamTypes.package) ->
OpamTypes.solution -> unit
val resolve : ?verbose:bool ->
OpamTypes.universe ->
OpamTypes.atom OpamTypes.request ->
(OpamTypes.solution, string) OpamTypes.result
list
: No solution
found. The last argument is the set of installed packages.
Every element in the solution list
satisfies the problem given.
For the ordering, the first element in the list
is obtained by upgrading from its next element.
val installable : OpamTypes.universe -> OpamTypes.package_set
val dependencies : depopts:bool ->
installed:bool ->
OpamTypes.universe -> OpamTypes.package_set -> OpamTypes.package list
val reverse_dependencies : depopts:bool ->
installed:bool ->
OpamTypes.universe -> OpamTypes.package_set -> OpamTypes.package list
bdependencies
but for reverse dependenciesval sequential_solution : OpamTypes.package OpamTypes.action list -> OpamTypes.solution