Aspcud (opam-solver.OpamCudfSolver.Aspcud)

val name : string

val ext : string option Stdlib.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 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 ->
  ?tolerance:float ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe