HyLoRun: A Graphical Interface for HyLoRes and HTab

HyLoRun is a graphical interface for HyLoRes and HTab which was develope in Haskell using the Glade Interface Designer for GTK+. Besides providing a more intutive interface to the different parameters that control the behaviour of both provers, it offers an environment to load, edit and save formulas. In addition, it uses dot to visualize models.

Main Features

  • Developed using Glade3 (v. 3.4.0), hence easily updated.
  • Used dot (from graphviz) for graph visualizations.


The haskell source can be downloaded from