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.3
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.3.0-rc1.tar.gz
md5=a0a5b8373dc493e0f53c82891081f27b
sha512=e098bb61ab77bfc33900be65f58fe9d2c62a3ea608be7f8cd115f0ec5a355207571936f2130f75b16de02a4d18d246d4cd15d51a79c208635520829f21987fe6
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: 03 Nov 2024
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.3.0~rc1" - opam-lock
- orb
Conflicts (1)
-
z3
< "4.8.4"
On This Page