package dolmen_bin

Build not yet checked
  1. Overview
  2. No Docs
A linter for logic languages

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

Authors

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-0.11.tbz
sha256=235c78a1f4dabc6c116d3d1cf51af286cb3fbed713c6116cd5d1b1cbed0cc87f
sha512=a5ca97d43a2e5ef2b03f5731e48cbfe9f09d7824e5839a9a614ca17d50ba71836b8d45b494f58df2566cf5e1983dad5fd75a3ce75f2c0fc5a9572f7ff4d97d2f

Description

The dolmen binary is an instantiation of the Dolmen library to provide a binary to easily parse and type files used in automated deduction, as well as verify models from theorem solvers.

Tags

logic computation automated theorem prover logic smtlib tptp

Added to opam-repository:

Dependencies (8)

  1. cmdliner >= "1.3.0"
  2. fmt
  3. dune >= "3.0"
  4. dolmen_model = version
  5. dolmen_loop = version
  6. dolmen_type = version
  7. dolmen = version
  8. ocaml >= "4.10"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies (1)

  1. memtrace

Used by

None

Conflicts

None

Build status

Results of building dolmen_bin with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.10 good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure