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

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-alpha1.tar.gz
md5=5f7f90b34d43584c55295236b7e99e47
sha512=596b9372567bba20a40e648b0b714a8b1e0cc3ba8313cf89c814f890a324ce0ba5b4d525ca6a4fa390181b4bddb35cf12b464f7036004bd70f8da843721fb858

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: 28 Jul 2026

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~alpha1"
  3. opam-lock

Conflicts (1)

  1. z3 < "4.8.4"