dolmen

AuthorGuillaume Bury
LicenseBSD-2-clauses
Homepagehttps://github.com/Gbury/dolmen
Issue Trackerhttps://github.com/Gbury/dolmen/issues
Tagsparser, tptp, logic, smtlib and dimacs
Maintainerguillaume.bury@gmail.com
Dependencies
&menhir>= 20151005
ocamlbuild
ocamlfind
PublishedSep 6, 2016
Source [http] https://github.com/Gbury/dolmen/archive/v0.1.tar.gz
b555b32e8a98563b1d3822a9e1ba7067
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/dolmen/dolmen.0.1/opam

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

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).

No package is dependent