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: 09 Dec 2021

Dependencies (6)

  1. dune >= "1.11.0"
  2. cudf >= "0.7"
  3. dose3 >= "5" & < "6.0"
  4. mccs >= "1.1+9"
  5. opam-format = version
  6. ocaml >= "4.02.3"

Reverse Dependencies (3)

  1. opam-0install
  2. opam-client = "2.1.2"
  3. opam-lock

Conflicts (2)

  1. opam-0install-cudf < "0.4"
  2. z3 < "4.8.4"
Solver library for opam 2.1

Install

Documentation opam.ocaml.org Readme LGPL-2.1-only WITH OCaml-LGPL-linking-exception License Edit opam file

Authors

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

Maintainers

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

Sources

2.1.2.tar.gz
md5=d50bdf14ebda2ed9627c1c8af5f5888f
sha512=bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396