• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • opam-solver
  • Documentation
  • opam-solver lib
  • OpamCudfSolver .Aspcud_old Module
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
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

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct