package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Solver library for opam 2.3

Install

md5=3a99d6d8c0394185f168fa0f085f6bb9

sha512=596d7b28f0cf9613dc7637aaeac45cc45f411a13286fea1cc81aeb0630c4f8a6dc2095d50db73229a255a3da3d9a08fe0993355a7fc64d3b16fd712789ff5f6e

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 of (Cudf.preamble option * Cudf.universe) option

Timeout might still return a non-optimal solution

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