package opam-solver

  1. Overview
  2. Docs

opam-solver 2.0.0~beta3.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

opam-solver

Documentation:

  • OpamSolverConfig Configuration options for the solver lib (record, global reference, setter, initialisation)
  • OpamActionGraph Handles graphs of actions (package changes), based on ocamlgraph
  • OpamCudf Solver interaction through Cudf, conversion of solver answer to an opam solution
  • OpamHeuristic The "internal solver", brute-force search using Dose's checker
  • OpamSolver Entry point to the solver, conversion of opam package universes to Cudf, dependencies computation. Front-end to Dose.