Module OpamSolverConfig

type t = private {
  1. cudf_file : string option;
  2. solver_timeout : float;
  3. external_solver : OpamTypes.arg list option Lazy.t;
  4. solver_preferences_default : string Lazy.t option;
  5. solver_preferences_upgrade : string Lazy.t option;
  6. solver_preferences_fixup : string Lazy.t option;
}
type 'a options_fun = ?cudf_file:string option -> ?solver_timeout:float -> ?external_solver:OpamTypes.arg list option Lazy.t -> ?solver_preferences_default:string Lazy.t option -> ?solver_preferences_upgrade:string Lazy.t option -> ?solver_preferences_fixup:string Lazy.t option -> unit -> 'a
val default : t
val set : t -> t options_fun
val setk : (t -> 'a) -> t -> 'a options_fun
val r : t ref
val update : ?noop:unit -> unit options_fun
val init : ?noop:unit -> unit options_fun
val external_solver_command : input:string -> output:string -> criteria:string -> string list option
val criteria : OpamTypes.solver_criteria -> string