= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
ON THIS PAGE
package opam-solver
-
opam-solver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
opam-solver 2.1.2
Libraries
This package provides the following libraries (via dune):
opam-solver
Documentation:
OpamActionGraph
Handles graphs of actions (package changes), based on ocamlgraphOpamBuiltin0install
OpamBuiltinMccs
OpamBuiltinZ3
OpamCudf
Solver interaction through Cudf, conversion of solver answer to an opam solutionOpamCudfSolver
Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.OpamCudfSolverSig
OpamSolver
Entry point to the solver, conversion of opam package universes to Cudf, dependencies computation. Front-end to Dose.OpamSolverConfig
Configuration options for the solver lib (record, global reference, setter, initialisation)
Dependencies: opam-format, cudf, dose3.algo, mccs
ON THIS PAGE