package opam-solver
-
opam-solver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package opam-solver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.
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) optionTimeout might still return a non-optimal solution
module type S = OpamCudfSolverSig.Smodule Aspcud_old : Sval default_solver_selection : (module S) listThe 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) -> stringGets the full solver name with params