HGen: A Random Generator of Hybrid Formulas

Main Features

  • Generates formulas for hybrid logics up to H(@,E,D,◊‾,↓)

The Implementation

Our TODO list includes:

  • Bla.

Download

The haskell source can be downloaded from