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
  - E

Legend:
Library
Module
Module type
Parameter
Class
Class type

type OpamStd.Config.E.t +=

| BESTEFFORT of bool option
| BESTEFFORTPREFIXCRITERIA of string option
| CRITERIA of string option
| CUDFFILE of string option
| CUDFTRIM of string option
| DIGDEPTH of int option
| EXTERNALSOLVER of string option
| FIXUPCRITERIA of string option
| NOASPCUD of bool option
| PREPRO of bool option
| SOLVERALLOWSUBOPTIMAL of bool option
| SOLVERTIMEOUT of float option
| UPGRADECRITERIA of string option
| USEINTERNALSOLVER of bool option
| VERSIONLAGPOWER of int option
| Z3DEBUG of string option

val externalsolver : unit -> string option

val z3debug : unit -> string option