opam-solver
OpamCudfSolver.Aspcud
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