dolmen

Dolmen is a parser library. It currently mainly supports languages used in automated deduction.
Description

Dolmen provides parser functorised over a representation of terms and top-level statements, so that users can instantiates these functors with their own implementation. Dolmen features incremental parsing, as well as helper functions to locate files based on a language's specifications (such as TPTP's environment variable).

Install
parser tptp logic smtlib dimacs
Documentation github.com Edit opam file
Published
25 Nov 2016
Authors
Maintainers
Sources
v0.2.tar.gz
md5=5e0522abd52184a0ae2c8d29b1e6650b
Dependencies
ocamlbuild build
ocamlfind build
menhir >= "20151005"
ocaml
Reverse Dependencies