package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 OpamCudfSolverSig

type criteria_def = {

}

exception Timeout

module type S = sig ... end

module Aspcud : S

module Aspcud_old : S

module Mccs : S

module Packup : S

val default_solver_selection : (module S) list

The list of supported solvers, in decreasing order of preference

val 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

val solver_of_string : string -> (module S)

Like custom_solver, but takes a simple command as a string

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

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

val has_builtin_solver : unit -> bool