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.
Authors | Vincent 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> |
---|---|
License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
Published | |
Homepage | https://opam.ocaml.org/ |
Issue Tracker | https://github.com/ocaml/opam/issues |
Maintainer | opam-devel@lists.ocaml.org |
Dependencies | |
Source [http] | https://github.com/ocaml/opam/archive/2.0.3.tar.gz md5=e84acfd52f578505c16dc9d21c99d17c sha512=a0db42f67a41d9ee5f4015a153fa9133ca6a33201f7db6b8b5562bccdda45f8af5032dc9c863bd3eaeef74ba4a3e4a099556faa3d01e66b6e5cf8ebdd52244fe |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.0.3/opam |
Required by
- opam-0installwith-test
- opam-client=2.0.3
- opam-lock