package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Solver library for opam 2.0

Install

md5=b9536b57408632daed491bae0eea947a

sha512=5c30ec0a09981860453972a351e27f6e882f023041514ecdc48702de40aa770d3e54931dfb2f9e8070f4233fd5e9bf5bfae6b2797b1b2068a49cab9f5784bafc

Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.

include module type of struct include OpamCudfSolverSig end

Sourcetype criteria_def = OpamCudfSolverSig.criteria_def = {

}

Sourceexception Timeout

Sourcemodule type S = OpamCudfSolverSig.S

Sourcemodule Aspcud : S

Sourcemodule Aspcud_old : S

Sourcemodule Mccs : S

Sourcemodule Packup : S

Sourceval default_solver_selection : (module S) list

The list of supported solvers, in decreasing order of preference

Sourceval custom_solver : OpamTypes.arg list -> (module S)

Generates a custom solver implementation from a user command. Contains some magic:

if the command matches one of the predefined ones, the default criteria are taken from there
if the command is a singleton and matches, it is expanded similarly from the pre-defined solvers

Sourceval solver_of_string : string -> (module S)

Like custom_solver, but takes a simple command as a string

Sourceval get_solver : ?internal:bool -> (module S) list -> (module S)

Gets the first present solver from the list. Exits with error if none was found.

Sourceval has_builtin_solver : unit -> bool

Sourceval get_name : (module S) -> string

Gets the full solver name with params