package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

opam-solver
- README
- Library opam-solver
  - OpamActionGraph
    
    ACTION
    
    Pkg
    
    Set
    
    Map
    
    MakeAction
    
    Pkg
    
    Set
    
    Map
    
    SIG
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    Make
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
  - OpamBuiltin0install
  - OpamBuiltinMccs
  - OpamBuiltinZ3
  - OpamCudf
    
    Package
    
    Set
    
    Map
    
    Graph
    
    V
    
    E
    
    Action
    
    Pkg
    
    Set
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    Json
  - OpamCudfSolver
    
    S
    
    Aspcud
    
    Aspcud_old
    
    Mccs
    
    Packup
  - OpamCudfSolverSig
    
    S
  - OpamSolver
    
    Action
    
    Pkg
    
    Set
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    PkgGraph
  - OpamSolverConfig
    
    E
- Sources
  - opam-solver
    
    opamActionGraph.ml
    
    opamBuiltin0install.ml
    
    opamBuiltinMccs.ml
    
    opamBuiltinZ3.ml
    
    opamCudf.ml
    
    opamCudfSolver.ml
    
    opamCudfSolverSig.ml
    
    opamSolver.ml
    
    opamSolverConfig.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `OpamCudfSolver`Source

Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.

include module type of struct include OpamCudfSolverSig end

Sourcetype criteria_def = OpamCudfSolverSig.criteria_def = {

crit_default : string;
crit_upgrade : string;
crit_fixup : string;
crit_best_effort_prefix : string option;

}

Sourceexception Timeout of (Cudf.preamble option * Cudf.universe) option

Timeout might still return a non-optimal solution

Sourcemodule type S = OpamCudfSolverSig.S

Sourcemodule Aspcud : S

Sourcemodule Aspcud_old : S

Sourcemodule Mccs : S

Sourcemodule Packup : S

Sourceval default_solver_selection : (module S) list

The list of supported solvers, in decreasing order of preference

Sourceval custom_solver : OpamTypes.arg list -> (module S)

Generates a custom solver implementation from a user command. Contains some magic:

if the command matches one of the predefined ones, the default criteria are taken from there
if the command is a singleton and matches, it is expanded similarly from the pre-defined solvers

Sourceval solver_of_string : string -> (module S)

Like custom_solver, but takes a simple command as a string

Sourceval get_solver : ?internal:bool -> (module S) list -> (module S)

Gets the first present solver from the list. Exits with error if none was found.

Sourceval has_builtin_solver : unit -> bool

Sourceval get_name : (module S) -> string

Gets the full solver name with params

package opam-solver

Module OpamCudfSolverSource

Module `OpamCudfSolver`Source