dolmenversion Documentation on ocaml.org
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).
| Tags | parser tptp logic smtlib dimacs |
|---|---|
| Author | Guillaume Bury |
| License | BSD-2-Clause |
| Published | |
| Homepage | https://github.com/Gbury/dolmen |
| Issue Tracker | https://github.com/Gbury/dolmen/issues |
| Maintainer | guillaume.bury@gmail.com |
| Dependencies |
|
| Source [http] | https://github.com/Gbury/dolmen/archive/v0.1.tar.gz sha256=8000a1e96dd1b07f04d9e759e13f4c3f2aaadcaf734c1f3e523249e9231fadfc md5=b555b32e8a98563b1d3822a9e1ba7067 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dolmen/dolmen.0.1/opam |
No package is dependent
