package opam-solver

  1. Overview
  2. Docs
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 : criteria_def
val preemptive_check : bool

Should be true for solvers that may take a long time to detect that there is no solution: in this case, dose's check is run beforehand ; otherwise it's only run if the solver returns unsat, to extract the explanations.

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

Innovation. Community. Security.