1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include OpamCudfSolverSig end
type criteria_def = OpamCudfSolverSig.criteria_def = {
crit_default : string; |
crit_upgrade : string; |
crit_fixup : string; |
crit_best_effort_prefix : string option; |
}
exception Timeout of (Cudf.preamble option * Cudf.universe) option
Timeout might still return a non-optimal solution
module type S = OpamCudfSolverSig.S
module Aspcud_old : S
val default_solver_selection : (module S) list
The list of supported solvers, in decreasing order of preference
val custom_solver : OpamTypes.arg list -> (module S)
Generates a custom solver implementation from a user command. Contains some magic:
- if the command matches one of the predefined ones, the default criteria are taken from there
- if the command is a singleton and matches, it is expanded similarly from the pre-defined solvers
val solver_of_string : string -> (module S)
Like custom_solver
, but takes a simple command as a string
Gets the first present solver from the list. Exits with error if none was found.
val get_name : (module S) -> string
Gets the full solver name with params