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 (37)

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-beta2.tar.gz
md5=964c48613248c0091578aebcad94f31b
sha512=75190a847b21a83b2ce2a2c77beda7c63ca11bb2a8ff8699e473379413b7e2f6378bc9bb3e68db86679eec91352281a03687aedd84bf2c2a5193465a0557e6b3

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 (4)

  1. opam-0install
  2. opam-client >= "2.6.0~beta2"
  3. opam-lock
  4. orb >= "1.1.0"

Conflicts (1)

  1. z3 < "4.8.4"