package dolmen

  1. Overview
  2. No Docs
A parser library for automated deduction

Install 

dune-project
 Dependency

github.com Edit opam file Versions (11)

Authors

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

Maintainers

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

Sources

dolmen-0.8.1.tbz
sha256=80fc33ae81817a79c6e6b2f6c01c4cfcc0af02bfe4d2d1b87cf70b84cdde3928
sha512=3a44a99bce871161bc70cf909c813e9e6c91c590873cbc163c69b2ec90ab5be65bf0bf45430bc8d00d85d75cf0af004b06b8f5f1c9d4d47c8a30ab9f28762c04

Description

Dolmen is a parser library. It currently targets languages used in automated theorem provers, but may be extended to other domains.

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 cna be used ot instantiate its parsers.

Tags

parser logic tptp smtlib dimacs

Added to opam-repository:

Dependencies (5)

  1. seq
  2. fmt >= "0.8.7"
  3. dune >= "3.0"
  4. menhir >= "20211230" & < "20260112"
  5. ocaml >= "4.08"

Dev Dependencies (3)

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

Used by (7)

  1. colibri2 = "0.4"
  2. colibrics = "0.4"
  3. dolmen_bin = "0.8.1"
  4. dolmen_loop = "0.8.1"
  5. dolmen_lsp = "0.8.1"
  6. dolmen_model = "0.8.1"
  7. dolmen_type = "0.8.1"

Conflicts

None