Module OpamSolverConfig.E

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. | SOLVERTOLERANCE of float option
  14. | UPGRADECRITERIA of string option
  15. | USEINTERNALSOLVER of bool option
  16. | VERSIONLAGPOWER of int option
val externalsolver : unit -> string option