package opam-solver

  1. Overview
  2. Docs

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

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

Checks if best_effort was set and is supported

val criteria : OpamTypes.solver_criteria -> string
OCaml

Innovation. Community. Security.