Module OpamSolverConfigSource

Configuration options for the solver lib (record, global reference, setter, initialisation)

Sourcetype t = private {
  1. cudf_file : string option;
  2. solver : (module OpamCudfSolver.S) Lazy.t;
  3. best_effort : bool;
  4. solver_preferences_default : string option Lazy.t;
  5. solver_preferences_upgrade : string option Lazy.t;
  6. solver_preferences_fixup : string option Lazy.t;
  7. solver_preferences_best_effort_prefix : string option Lazy.t;
  8. solver_timeout : float option;
}
Sourcetype 'a options_fun = ?cudf_file:string option -> ?solver:(module OpamCudfSolver.S) Lazy.t -> ?best_effort:bool -> ?solver_preferences_default:string option Lazy.t -> ?solver_preferences_upgrade:string option Lazy.t -> ?solver_preferences_fixup:string option Lazy.t -> ?solver_preferences_best_effort_prefix:string option Lazy.t -> ?solver_timeout:float option -> 'a
include OpamStd.Config.Sig with type t := t and type 'a options_fun := 'a options_fun
Sourceval default : t
Sourceval set : t -> (unit -> t) options_fun
Sourceval setk : (t -> 'a) -> t -> 'a options_fun
Sourceval r : t ref
Sourceval update : ?noop:'a -> (unit -> unit) options_fun
Sourceval init : ?noop:'a -> (unit -> unit) options_fun
Sourceval initk : 'a -> 'a options_fun
Sourceval call_solver : criteria:string -> Cudf.cudf -> Cudf.preamble option * Cudf.universe
Sourceval best_effort : unit -> bool

Checks if best_effort was set and is supported

Sourceval criteria : OpamTypes.solver_criteria -> string