opam-solverversion

Solver library for opam 2.2

Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.

AuthorsDavid Allsopp <david@tarides.com>, Vincent Bernardoff <vb@luminar.eu.org>, Raja Boujbel <raja.boujbel@ocamlpro.com>, Kate Deplaix <kit-ty-kate@outlook.com>, Roberto Di Cosmo <roberto@dicosmo.org>, Thomas Gazagnaire <thomas@gazagnaire.org>, Louis Gesbert <louis.gesbert@ocamlpro.com>, Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>, Anil Madhavapeddy <anil@recoil.org>, Guillem Rieu <guillem.rieu@ocamlpro.com>, Ralf Treinen <ralf.treinen@pps.jussieu.fr> and Frederic Tuong <tuong@users.gforge.inria.fr>
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Published
Homepagehttps://opam.ocaml.org
Issue Trackerhttps://github.com/ocaml/opam/issues
Maintaineropam-devel@lists.ocaml.org
Availableopam-version >= "2.1.0"
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/ocaml/opam/archive/refs/tags/2.2.0-alpha3.tar.gz
md5=da12c9c417d078535f66758a36941e3f
sha512=6ad6d0b67c8252444872bb652d85f2d5a35e63df1b25f1d11c23aa39b2ae9e6d075cfa55ece2a4c8875afcc0df94691d05cd058f61744fd9b7c468afa192de09
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.2.0~alpha3/opam
Required by