package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

package opam-solver

opam-solver
- 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
  - OpamBuiltinMccs
  - OpamCudf
    
    Set
    
    Map
    
    Graph
    
    V
    
    E
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
  - 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
  - OpamSolverConfig
- Sources
  - opam-solver
    
    opamActionGraph.ml
    
    opamBuiltinMccs.ml
    
    opamCudf.ml
    
    opamCudfSolver.ml
    
    opamCudfSolverSig.ml
    
    opamSolver.ml
    
    opamSolverConfig.ml

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

Module `OpamCudfSolver.Aspcud`Source

Sourceval name : string

Sourceval ext : string option ref

extra configurable solver parameters

Sourceval is_present : unit -> bool

Sourceval command_name : string option

None means the solver is built-in

Sourceval default_criteria : OpamCudfSolverSig.criteria_def

val call : 
  criteria:string ->
  ?timeout:float ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe