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.0
Install
Dune Dependency
Authors
-
TThomas Gazagnaire <thomas@gazagnaire.org>
-
AAnil Madhavapeddy <anil@recoil.org>
-
FFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
-
FFrederic Tuong <tuong@users.gforge.inria.fr>
-
LLouis Gesbert <louis.gesbert@ocamlpro.com>
-
GGuillem Rieu <guillem.rieu@ocamlpro.com>
-
VVincent Bernardoff <vb@luminar.eu.org>
-
RRoberto Di Cosmo <roberto@dicosmo.org>
Maintainers
Sources
2.0.0-rc.tar.gz
sha256=0d4ea8c249e18ca2e83e809a20901c7e968e88bdbbacc72105b5a71c6531d17b
md5=ae216e3ea0a9388cc9f711a2a9925557
Description
Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.
Published: 06 Feb 2018
Dependencies (6)
Dev Dependencies
None
Used by (3)
- opam-0install
-
opam-client
= "2.0.0~rc" - opam-lock
Conflicts (1)
On This Page