Module OpamCudfSolverSource

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
Sourcetype criteria_def = OpamCudfSolverSig.criteria_def = {
  1. crit_default : string;
  2. crit_upgrade : string;
  3. crit_fixup : string;
  4. crit_best_effort_prefix : string option;
}
Sourceexception Timeout
Sourcemodule Aspcud : S
Sourcemodule Mccs : S
Sourcemodule Packup : S
Sourceval default_solver_selection : (module S) list

The list of supported solvers, in decreasing order of preference

Sourceval 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
Sourceval solver_of_string : string -> (module S)

Like custom_solver, but takes a simple command as a string

Sourceval get_solver : ?internal:bool -> (module S) list -> (module S)

Gets the first present solver from the list. Exits with error if none was found.

Sourceval has_builtin_solver : unit -> bool
Sourceval get_name : (module S) -> string

Gets the full solver name with params