2020-10-22 20:15:11 (GMT)
Dolmen is a library of parsers for logic, made by @Guillaume Bury. Compared to what we have in logtk/zipperposition, it's more accurate in its interpretation of the TPTP standard, and also has a very good SMTLIB 2.6 frontend.
When we have bandwidth (I know, I know, @Petar Vukmirovic :wink:) it would be nice to use dolmen as the main parser library. THF is hard to parse enough.
2020-10-22 20:18:27 (GMT)
I'm available to provide any help needed on the side of Dolmen, ^^
2020-10-23 5:25:53 (GMT)
Maybe a student project? Petar's TODO is gigantic...
2020-10-23 14:56:38 (GMT)
Sure, it's a relatively self contained task.