opam-solver
  1. Overview
  2. Docs

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: 31 May 2023

Dependencies (8)

  1. dune >= "1.11.0"
  2. cudf >= "0.7"
  3. ocaml = "4.02.3"
  4. dose3 >= "5"
  5. dose3 >= "6.1"
  6. mccs >= "1.1+9"
  7. opam-format = version
  8. ocaml >= "4.02.3"

Dev Dependencies

None

Conflicts (2)

  1. opam-0install-cudf < "0.4"
  2. z3 < "4.8.4"