Logic, Language and Computability Research Group

Tools

HyLoRes: HyLoRes is an advanced automated theorem prover for hybrid logics based on resolution. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
HyLoLib: HyLoLib is the support library for the InToHyLo project, a suite of cooperating inference tools for hybrid logics. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
ModalTesting: Framework for the comparison of theorem provers, using random generated formulas. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
Prepo: Prepo is a rewrite-rule driven term-rewriting engine for hybrid formulas.
The darcs repository is here
LTHL: Implementation of several satisfiability-preserving translations from hybrid logics to first-order logic, aimed to be used together with first-order theorem provers.
The darcs repository is here