1. Overview
  2. Docs
Solver library for opam 2.1

Install

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.4.tar.gz
md5=f8123b6840e93000fcf228aa9cb23891
sha512=276fdbe4e114a0d23b9d4b7938d87bf39c06b4716fae601588da7d5d2d5d9b5c584855d96edfed2eb5ac8a36ee9431c4ea7d281c52acdab28b9a3bdcbf10ce57

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: 15 Dec 2022

Dependencies (8)

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

Dev Dependencies

    None

Used by (3)

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

Conflicts (2)

  1. opam-0install-cudf < "0.4"
  2. z3 < "4.8.4"