HGen: A Random Generator of Hybrid Formulas

Main Features

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

Download

Stable version (1.2):

The haskell source can be downloaded with