This package provides the following libraries (via ocamlobjinfo):
Documentation:
OpamCudfSolverSig OpamBuiltin0install OpamBuiltinMccs OpamBuiltinZ3 OpamCudfSolver Various implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.OpamSolverConfig Configuration options for the solver lib (record, global reference, setter, initialisation)OpamActionGraph Handles graphs of actions (package changes), based on ocamlgraphOpamCudf Solver interaction through Cudf, conversion of solver answer to an opam solutionOpamSolver Entry point to the solver, conversion of opam package universes to Cudf, dependencies computation. Front-end to Dose.