package opam-solver

  1. Overview
  2. No Docs
Solver library for opam 2.6

Install 

dune-project
 Dependency

opam.ocaml.org Edit opam file Versions (36)

Authors

  1. David Allsopp
  2. V
    Vincent Bernardoff <vb@luminar.eu.org>
  3. R
    Raja Boujbel <raja.boujbel@ocamlpro.com>
  4. K
    Kate Deplaix <kit-ty-kate@exn.st>
  5. R
    Roberto Di Cosmo <roberto@dicosmo.org>
  6. T
    Thomas Gazagnaire <thomas@gazagnaire.org>
  7. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>
  8. F
    Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
  9. A
    Anil Madhavapeddy <anil@recoil.org>
  10. G
    Guillem Rieu <guillem.rieu@ocamlpro.com>
  11. R
    Ralf Treinen <ralf.treinen@pps.jussieu.fr>
  12. F
    Frederic Tuong <tuong@users.gforge.inria.fr>

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

2.6.0-beta1.tar.gz
md5=44a606f260d65e41a135c2b9f659453d
sha512=042ed5742eb7fc5fc921f95f9733cf4b0774a167ee96aa9d0ade48b91f0d3187bb561372f4dfea4087f888fa95371f7b60bc1fb85917fed3e152b71897640505

Description

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

Added to opam-repository:

Dependencies (7)

  1. opam-0install-cudf >= "0.5.0"
  2. cudf >= "0.7"
  3. dose3 >= "6.1"
  4. mccs >= "1.1+17"
  5. opam-format = version
  6. dune >= "2.8.0"
  7. ocaml >= "4.11.0"

Dev Dependencies

None

Used by (3)

  1. opam-0install
  2. opam-client >= "2.6.0~beta1"
  3. opam-lock

Conflicts (1)

  1. z3 < "4.8.4"