package opam-solver

  1. Overview
  2. Docs
Solver library for opam 2.1

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

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

Sources

2.1.1.tar.gz
md5=e1202a21d669d460b9fa852e39f0502e
sha512=fb46bc8f12e49c2da95c5f8669f55fb93710ee826827538852c3091ec2c714c082137373fa9e1ad3f53f107b1fae6c2abd0b6e5f84f7756bd3b38e57978f080e

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)