package opam-lib

You can search for identifiers within the package.

in-package search v0.2.0

The OPAM library

Install

Dune Dependency

opam.ocaml.org Edit opam file Versions (1)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

1.3.1.tar.gz

sha256=625767c3465219cc8799aad1449c74279b31686db0821300cfdb92fbff17e9fd

md5=e0688c0cf9a55f93ee93f62d07cf6b74

doc/opam-lib.solver/OpamSolverConfig/index.html

Module `OpamSolverConfig`

type t = private {

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;

}

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