package opam-solver

  1. Overview
  2. Docs
Solver library for opam 2.2

Install 

dune-project
 Dependency

opam.ocaml.org Readme Edit opam file Versions (29)

Authors

  1. David Allsopp
  2. V
    Vincent Bernardoff <vb@luminar.eu.org>
  3. R
    Raja Boujbel <raja.boujbel@ocamlpro.com>
  4. K
    Kate Deplaix <kit-ty-kate@outlook.com>
  5. R
    Roberto Di Cosmo <roberto@dicosmo.org>
  6. T
    Thomas Gazagnaire <thomas@gazagnaire.org>
  7. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>
  8. F
    Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
  9. A
    Anil Madhavapeddy <anil@recoil.org>
  10. G
    Guillem Rieu <guillem.rieu@ocamlpro.com>
  11. R
    Ralf Treinen <ralf.treinen@pps.jussieu.fr>
  12. F
    Frederic Tuong <tuong@users.gforge.inria.fr>

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

2.2.1.tar.gz
md5=d9b85326877d02ffee49caee2384f170
sha512=17d7d83b9de118332c121b9d3aa2e48f62a6270ea23e730a536b0f4ff060df85238c7c4ab53a89bcc3b3193d52d14358831bd9bed30a4ac699e44e4c3003b8b0

doc/index.html

opam-solver

API

Library opam-solver

  • OpamActionGraph Handles graphs of actions (package changes), based on ocamlgraph
  • OpamBuiltin0install
  • OpamBuiltinMccs
  • OpamBuiltinZ3
  • OpamCudf Solver interaction through Cudf, conversion of solver answer to an opam solution
  • OpamCudfSolver 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)