val load : ?check:bool -> Cudf.universe -> solverval result :
Depsolver_int.identity ->
Cudf.universe ->
Diagnostic_int.result ->
Diagnostic.resultval request : Cudf.universe -> Diagnostic_int.request -> Diagnostic.requestval edos_install :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package ->
Diagnostic.diagnosisval edos_coinstall :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package list ->
Diagnostic.diagnosisval edos_coinstall_prod :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package list list ->
Diagnostic.diagnosis listval trim : ?global_constraints:bool -> Cudf.universe -> Cudf.universeval find_broken :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package listval find_installable :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package listval find_listbroken :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package list ->
Cudf.package listval find_listinstallable :
?global_constraints:bool ->
Cudf.universe ->
Cudf.package list ->
Cudf.package listval univcheck :
?global_constraints:bool ->
?callback:(Diagnostic.diagnosis -> unit) ->
Cudf.universe ->
intval listcheck :
?global_constraints:bool ->
?callback:(Diagnostic.diagnosis -> unit) ->
Cudf.universe ->
Cudf.package list ->
intval dependency_closure :
?maxdepth:int ->
?conjunctive:bool ->
Cudf.universe ->
Cudf.package list ->
Cudf.package listval reverse_dependencies :
Cudf.universe ->
Cudf.package list Common.CudfAdd.Cudf_hashtbl.tval reverse_dependency_closure :
?maxdepth:int ->
Cudf.universe ->
Cudf.package list ->
Cudf.package listval output_clauses :
?global_constraints:bool ->
?enc:enc ->
Cudf.universe ->
stringtype solver_result = | Sat of Cudf.preamble option * Cudf.universe| Unsat of Diagnostic.diagnosis option| Error of stringval check_request :
?cmd:string ->
?callback:((int array * Diagnostic.diagnosis) -> unit) ->
?criteria:string ->
?explain:bool ->
Cudf.cudf ->
solver_resultval check_request_using :
?call_solver:(Cudf.cudf -> Cudf.preamble option * Cudf.universe) ->
?callback:((int array * Diagnostic.diagnosis) -> unit) ->
?criteria:string ->
?explain:bool ->
Cudf.cudf ->
solver_result