package dolmen

Build not yet checked
  1. Overview
  2. No Docs
A parser library for automated deduction

Install 

dune-project
 Dependency

github.com Edit opam file Versions (12)

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

Dolmen aims at providing tools to help in writing programs in the field of theorem proving, SMT solving, and model checking. The project includes a few libraries, a CLI binary and an LSP server, split over several opam packages.

This is the Dolmen parser library. It currently targets languages used in automated theorem provers, as well as model checking, and may be extended to other domains later.

Dolmen provides functors that takes as arguments a representation of terms and statements, and returns a module that can parse files (or streams of tokens) into the provided representation of terms or statements. This is meant so that Dolmen can be used as a drop-in replacement of existing parser, in order to factorize parsers among projects.

Additionally, Dolmen also provides a standard implementation of terms and statements that can be used to instantiate its parsers.

Tags

parser logic tptp smtlib dimacs

Added to opam-repository:

Dependencies (8)

  1. uutf
  2. seq
  3. hmap >= "0.8.1"
  4. fmt >= "0.8.7"
  5. dune-site >= "3.0"
  6. dune >= "3.0"
  7. menhir >= "20211230"
  8. ocaml >= "4.08.1"

Dev Dependencies (3)

  1. mdx with-test & >= "2.0.0"
  2. qcheck with-test & >= "0.20"
  3. odoc with-doc

Optional Dependencies

None

Used by (7)

  1. alt-ergo-lib >= "2.6.0" & < "2.6.3"
  2. dolmen_bin >= "0.11"
  3. dolmen_loop >= "0.11"
  4. dolmen_lsp >= "0.11"
  5. dolmen_model >= "0.11"
  6. dolmen_type >= "0.11"
  7. smtml >= "0.25.0"

Conflicts

None

Build status

Results of building dolmen 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