package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `OpamCudfSolver`Source

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