opam-solver

Solver library for opam 2.1
Library opam-solver
Module OpamSolverConfig . E
type OpamStd.Config.E.t +=
| BESTEFFORT of bool option
| BESTEFFORTPREFIXCRITERIA of string option
| CRITERIA of string option
| CUDFFILE of string option
| CUDFTRIM of string option
| DIGDEPTH of int option
| EXTERNALSOLVER of string option
| FIXUPCRITERIA of string option
| NOASPCUD of bool option
| PREPRO of bool option
| SOLVERALLOWSUBOPTIMAL of bool option
| SOLVERTIMEOUT of float option
| UPGRADECRITERIA of string option
| USEINTERNALSOLVER of bool option
| VERSIONLAGPOWER of int option
val externalsolver : unit -> string option