package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

package opam-solver

opam-solver
- OpamActionGraph
  - ACTION
  - Make
    
    A
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - MakeAction
  - SIG
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
- OpamBuiltin0install
- OpamBuiltinMccs
- OpamBuiltinZ3
- OpamCudf
  - Action
  - ActionGraph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - Graph
    
    E
    
    V
  - Json
  - Package
- OpamCudfSolver
  - Aspcud
  - Aspcud_old
  - Mccs
  - Packup
- OpamCudfSolverSig
  - S
- OpamSolver
  - Action
  - ActionGraph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
- OpamSolverConfig

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type t = private {

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;

}

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