opam - opam-solver

Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.

Authors	David Allsopp <[email protected]>, Vincent Bernardoff <[email protected]>, Raja Boujbel <[email protected]>, Kate Deplaix <[email protected]>, Roberto Di Cosmo <[email protected]>, Thomas Gazagnaire <[email protected]>, Louis Gesbert <[email protected]>, Fabrice Le Fessant <[email protected]>, Anil Madhavapeddy <[email protected]>, Guillem Rieu <[email protected]>, Ralf Treinen <[email protected]> and Frederic Tuong <[email protected]>
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Published	May 6, 2025
Homepage	https://opam.ocaml.org
Issue Tracker	https://github.com/ocaml/opam/issues
Maintainer	[email protected]
Available	opam-version >= "2.1.0"
Dependencies	ocaml>=4.08.0 opam-format=2.4.0~alpha2 mccs>=1.1+17 dose3>=6.1 cudf>=0.7 re>=1.9.0 dune>=2.8.0 opam-0install-cudf>=0.5.0
Optional dependencies	z3
Conflicts	z3<4.8.4
Source [http]	https://github.com/ocaml/opam/archive/refs/tags/2.4.0-alpha2.tar.gz md5=0fb8e9f62683772592b1bc2d80a763b8 sha512=1c617b1c1656817a47ef65d02fc990357476f6c1b406c02717e5ff702a2c42e9f3818c2ddd54470926b2c5344c1c285216471a684d261be7a3ec84b05a32e726
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.4.0~alpha2/opam

Required by