package opam-solver

  1. Overview
  2. Docs
type OpamStd.Config.E.t +=
  1. | BESTEFFORT of bool option
  2. | BESTEFFORTPREFIXCRITERIA of string option
  3. | CRITERIA of string option
  4. | CUDFFILE of string option
  5. | CUDFTRIM of string option
  6. | DIGDEPTH of int option
  7. | EXTERNALSOLVER of string option
  8. | FIXUPCRITERIA of string option
  9. | NOASPCUD of bool option
  10. | PREPRO of bool option
  11. | SOLVERALLOWSUBOPTIMAL of bool option
  12. | SOLVERTIMEOUT of float option
  13. | UPGRADECRITERIA of string option
  14. | USEINTERNALSOLVER of bool option
  15. | VERSIONLAGPOWER of int option
  16. | Z3DEBUG of string option
val externalsolver : unit -> string option
val z3debug : unit -> string option
OCaml

Innovation. Community. Security.