opam-solver

Solver library for opam 2.0
Description

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

Install
Documentation opam.ocaml.org Edit opam file
Published
27 May 2017
Authors
Maintainers
Sources
2.0.0-beta3.1.tar.gz
md5=092d3e53ee4649a50a3b30bdfd72646b
Dependencies
cudf <= "0.7"
dose3 >= "5" & < "6.0"
opam-format = "2.0.0~beta3.1"
opam-core = "2.0.0~beta3.1"
ocaml >= "4.01.0"
Reverse Dependencies
opam-0install
opam-client = "2.0.0~beta3.1"