package opam-solver
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Solver library for opam 2.1
Install
dune-project
Dependency
Authors
-
VVincent Bernardoff <vb@luminar.eu.org>
-
RRaja Boujbel <raja.boujbel@ocamlpro.com>
-
RRoberto Di Cosmo <roberto@dicosmo.org>
-
TThomas Gazagnaire <thomas@gazagnaire.org>
-
LLouis Gesbert <louis.gesbert@ocamlpro.com>
-
FFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
-
AAnil Madhavapeddy <anil@recoil.org>
-
GGuillem Rieu <guillem.rieu@ocamlpro.com>
-
RRalf Treinen <ralf.treinen@pps.jussieu.fr>
-
FFrederic Tuong <tuong@users.gforge.inria.fr>
Maintainers
Sources
2.1.2.tar.gz
md5=d50bdf14ebda2ed9627c1c8af5f5888f
sha512=bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396
doc/index.html
opam-solver
API
Library opam-solver
OpamActionGraphHandles graphs of actions (package changes), based on ocamlgraphOpamBuiltin0installOpamBuiltinMccsOpamBuiltinZ3OpamCudfSolver interaction through Cudf, conversion of solver answer to an opam solutionOpamCudfSolverVarious implementations of the low-level CUDF resolution, most of them relying on external solvers (aspcud, etc.). Used for calling-back below Dose.OpamCudfSolverSigOpamSolverEntry point to the solver, conversion of opam package universes to Cudf, dependencies computation. Front-end to Dose.OpamSolverConfigConfiguration options for the solver lib (record, global reference, setter, initialisation)
On This Page