Page
Library
Module
Module type
Parameter
Class
Class type
Source
A library providing flexible parsers for input languages.
BSD2, see file LICENSE.
The Dolmen project aims at providing an assortiment of tools to help handle languages that are used in automated deduction and formal logic.
More precisely, the Dolmen project provides:
A few OCaml libraries for:
Online documentation for the libraries can be found at http://gbury.github.io/dolmen. There is also a tutorial.
Currently the following parsers are working:
The following parsers are either work in progress, or soon to be work in progress:
You need opam to install the developpement version of dolmen. You can installations instructions for opam here.
To install all packages provided by dolmen:
opam pin add https://github.com/Gbury/dolmen.git
Manually, you'll need to first install the dependencies needed by dolmen, the easiest way is to pin your local copy of dolmen like this:
# At the root of your local dolmen repository
opam pin add --no-action ./
opam install --deps-only dolmen dolmen_type dolmen_loop dolmen_bin dolmen_lsp
Once the dependencies have been installed, you can build the project with:
make