package opam-solver
Solver library for opam 2.4
Install
Dune Dependency
Authors
-
David Allsopp
-
VVincent Bernardoff <vb@luminar.eu.org>
-
RRaja Boujbel <raja.boujbel@ocamlpro.com>
-
KKate Deplaix <kit-ty-kate@outlook.com>
-
RRoberto Di Cosmo <roberto@dicosmo.org>
-
TThomas Gazagnaire <thomas@gazagnaire.org>
-
LLouis Gesbert <louis.gesbert@ocamlpro.com>
-
FFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
-
AAnil Madhavapeddy <anil@recoil.org>
-
GGuillem Rieu <guillem.rieu@ocamlpro.com>
-
RRalf Treinen <ralf.treinen@pps.jussieu.fr>
-
FFrederic Tuong <tuong@users.gforge.inria.fr>
Maintainers
Sources
2.4.0-alpha2.tar.gz
md5=0fb8e9f62683772592b1bc2d80a763b8
sha512=1c617b1c1656817a47ef65d02fc990357476f6c1b406c02717e5ff702a2c42e9f3818c2ddd54470926b2c5344c1c285216471a684d261be7a3ec84b05a32e726
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: 06 May 2025
Dependencies (8)
-
opam-0install-cudf
>= "0.5.0" -
dune
>= "2.8.0" -
re
>= "1.9.0" -
cudf
>= "0.7" -
dose3
>= "6.1" -
mccs
>= "1.1+17" -
opam-format
= version -
ocaml
>= "4.08.0"
Dev Dependencies
None
Used by (4)
- opam-0install
-
opam-client
>= "2.4.0~alpha2" - opam-lock
- orb
Conflicts (1)
-
z3
< "4.8.4"
On This Page