InToHyLo: Inference Tools for Hybrid Logics

InToHyLo is an set of inference tools for hybrid logics that to offer a varied spectrum of services.

The system is made of libre software (most of it licensed under GNU GPL) and the source code is available on-line. We also make available the benchmarking environment, in order to encourage independent development.

The main inference task addressed by InToHyLo is satisfiability checking, but the system will also be able to offer more varied and complex services, like model generation, model checking and instance retrieval. We also plan to integrate HyLoRes and HTab into a single system that takes advantage of the dual behaviour or resolution and tableaux algorithms.

To retrieve the latest source code of the projects, you need darcs version 2 at least. To check your version of darcs, run the command darcs --version.