opam-solverversion

Solver library for opam 2.0

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

AuthorsThomas Gazagnaire <thomas@gazagnaire.org>, Anil Madhavapeddy <anil@recoil.org>, Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>, Frederic Tuong <tuong@users.gforge.inria.fr>, Louis Gesbert <louis.gesbert@ocamlpro.com>, Guillem Rieu <guillem.rieu@ocamlpro.com>, Vincent Bernardoff <vb@luminar.eu.org> and Roberto Di Cosmo <roberto@dicosmo.org>
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
Dependencies
Conflicts
Source [http] https://github.com/ocaml/opam/archive/2.0.0-rc.tar.gz
sha256=0d4ea8c249e18ca2e83e809a20901c7e968e88bdbbacc72105b5a71c6531d17b
md5=ae216e3ea0a9388cc9f711a2a9925557
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.0.0~rc/opam
Required by