dolmen

Author Guillaume Bury
License BSD-2-clauses
Homepage https://github.com/Gbury/dolmen
Issue Tracker https://github.com/Gbury/dolmen/issues
Tags { parser, tptp, logic, smtlib, dimacs }
Maintainer guillaume.bury@gmail.com
Dependencies
& menhir >= 20151005
ocamlbuild
ocamlfind
Published Nov 24, 2016
Source [http] http://github.com/Gbury/dolmen/archive/v0.2.tar.gz
5e0522abd52184a0ae2c8d29b1e6650b
Statistics Installed 6 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/dolmen/dolmen.0.2/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