package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

API
1. Library opam-solver

package opam-solver

opam-solver
- Library opam-solver
  - OpamActionGraph
    
    ACTION
    
    Pkg
    
    Set
    
    Op
    
    Map
    
    MakeAction
    
    Pkg
    
    Set
    
    Op
    
    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
    
    Op
    
    Map
    
    Graph
    
    V
    
    E
    
    Action
    
    Pkg
    
    Set
    
    Op
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    Json
  - OpamCudfCriteria
  - OpamCudfSolver
    
    S
    
    Aspcud
    
    Aspcud_old
    
    Mccs
    
    Packup
  - OpamCudfSolverSig
    
    S
  - OpamSolver
    
    Action
    
    Pkg
    
    Set
    
    Op
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    PkgGraph
    
    V
    
    E
  - OpamSolverConfig
    
    E
- Sources
  - opam-solver
    
    opamActionGraph.ml
    
    opamBuiltin0install.ml
    
    opamBuiltinMccs.ml
    
    opamBuiltinZ3.ml
    
    opamCudf.ml
    
    opamCudfCriteria.ml
    
    opamCudfSolver.ml
    
    opamCudfSolverSig.ml
    
    opamSolver.ml
    
    opamSolverConfig.ml

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

opam-solver

API

Library opam-solver

OpamActionGraph Handles graphs of actions (package changes), based on ocamlgraph
OpamBuiltin0install
OpamBuiltinMccs
OpamBuiltinZ3
OpamCudf Solver interaction through Cudf, conversion of solver answer to an opam solution
OpamCudfCriteria Cudf criteria helpers
OpamCudfSolver Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.
OpamCudfSolverSig
OpamSolver Entry point to the solver, conversion of opam package universes to Cudf, dependencies computation. Front-end to Dose.
OpamSolverConfig Configuration options for the solver lib (record, global reference, setter, initialisation)