package opam-solver
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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-alpha1.tar.gz
md5=6a0c8a0b5e33757c962dde7c0c5bfce7
sha512=cc4eb75ee1f0c5dc020e5d07dc2b7f7b0a5ccd8182ff1b799bce15c024f86eb5c97eb194bdb838d107d634e8f0073e2de098d343eab1779038deeeed5abd5879
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: 18 Apr 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~alpha1" - opam-lock
- orb
Conflicts (1)
-
z3
< "4.8.4"
On This Page