dolmen.intf
Dolmen_intf.Id
Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.
dolmen
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.line
dolmen.smtlib
dolmen.std
dolmen.tptp
dolmen.zf
module type Logic = sig ... end