opam-solverversion

Solver library for opam 2.0

opam 2.0 development libraries

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

AuthorsVincent Bernardoff <vb@luminar.eu.org>, Raja Boujbel <raja.boujbel@ocamlpro.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
Dependencies
Source [http] https://github.com/ocaml/opam/archive/2.0.2.tar.gz
md5=b9536b57408632daed491bae0eea947a
sha512=5c30ec0a09981860453972a351e27f6e882f023041514ecdc48702de40aa770d3e54931dfb2f9e8070f4233fd5e9bf5bfae6b2797b1b2068a49cab9f5784bafc
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.0.2/opam
Required by