OpamBuiltinZ3 · opam-solver 2.1.2 · OCaml Packages

opam-solver

Solver library for opam 2.1

package opam-solver

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library opam-solver

Module OpamBuiltinZ3

include OpamCudfSolverSig.S

val name : string

val ext : string option ref

extra configurable solver parameters

val is_present : unit -> bool

val command_name : string option

None means the solver is built-in

val default_criteria : OpamCudfSolverSig.criteria_def

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