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.tar.gz
md5=3a99d6d8c0394185f168fa0f085f6bb9
sha512=596d7b28f0cf9613dc7637aaeac45cc45f411a13286fea1cc81aeb0630c4f8a6dc2095d50db73229a255a3da3d9a08fe0993355a7fc64d3b16fd712789ff5f6e
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: 14 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" - opam-lock
- orb
Conflicts (1)
-
z3
< "4.8.4"
On This Page