package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Solver library for opam 2.1

Install

md5=7af974033874dcb8d3e8f98312e1c146

sha512=5debf3f090e67ca7cfcaa02a59fc21245b68545a23a5909b9cca16547241b1c72ccbb4bfd12c29361a23e0efdb065255e62e874e094f52a513cffb3d0b130d5f

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 : criteria_def

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