package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Module `OpamCudfSolver.Aspcud`Source

Sourceval name : string

Sourceval ext : string option ref

extra configurable solver parameters

Sourceval is_present : unit -> bool

Sourceval command_name : string option

None means the solver is built-in

Sourceval default_criteria : OpamCudfSolverSig.criteria_def

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