HGen: A Random Generator of Hybrid Formulas
Main Features
- Generates formulas for hybrid logics up to H(@,E,D,◊‾,↓)
Documentation
Download
Stable version (1.2):
The haskell source can be downloaded with
Last updated:
April, Saturday the 18th, 2009 at 7:17:45,000000 pm, ART (-03:00)