opam-solver
  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.5.tar.gz
md5=58f9fe5045c00c2a022a5b65d36be868
sha512=4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8

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: 31 May 2023

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

Conflicts (2)

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