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.0.tar.gz
md5=e9a76b200b58d303507317e8d28f2a6d
sha512=410c662d6dbd289433c61ff36a8591c3df2f2dc1d0fd48bf69fbec9cf57ebc33fbe05e02096e26c91f7ff1485c00d77e7fddcd63e4c1f2293136312f5ddfbe05

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)