package opam-solver

  1. Overview
  2. Docs
Solver library for opam 2.5

Install 

dune-project
 Dependency

opam.ocaml.org Readme Edit opam file Versions (31)

Authors

  1. David Allsopp
  2. V
    Vincent Bernardoff <vb@luminar.eu.org>
  3. R
    Raja Boujbel <raja.boujbel@ocamlpro.com>
  4. K
    Kate Deplaix <kit-ty-kate@outlook.com>
  5. R
    Roberto Di Cosmo <roberto@dicosmo.org>
  6. T
    Thomas Gazagnaire <thomas@gazagnaire.org>
  7. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>
  8. F
    Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
  9. A
    Anil Madhavapeddy <anil@recoil.org>
  10. G
    Guillem Rieu <guillem.rieu@ocamlpro.com>
  11. R
    Ralf Treinen <ralf.treinen@pps.jussieu.fr>
  12. F
    Frederic Tuong <tuong@users.gforge.inria.fr>

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

2.5.0-rc1.tar.gz
md5=fc3e769ecf6acee13e249d6d1ab52b60
sha512=b57536f4530ed03c8f3cc8cf814af9a2c53b159f58fc1b50be93295f6eb8d53faeef3d916e1a3f5137d35468af15fc2f59a2f8bda5c574532ab523fd945b9781

doc/opam-solver/OpamBuiltinZ3/index.html

Module OpamBuiltinZ3Source

include OpamCudfSolverSig.S
Sourceval name : string
Sourceval ext : string option ref

extra configurable solver parameters

Sourceval is_present : unit -> bool
Sourceval command_name : string option

None means the solver is built-in

Sourceval preemptive_check : bool

Should be true for solvers that may take a long time to detect that there is no solution: in this case, dose's check is run beforehand ; otherwise it's only run if the solver returns unsat, to extract the explanations.

Sourceval call : criteria:string -> ?timeout:float -> ?tolerance:float -> Cudf.cudf -> Cudf.preamble option * Cudf.universe