hGEN, a Random Formula Generator
hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@, , A, P). It is an extension of the latest proposal of Patel-Schneider and Sebastiani, nowadays considered the standard testing environment for classical modal logics. The random generator is used for assessing the performance of different provers.
Authors: Carlos Areces, and Juan Heguiabehere (from the University of Buenos Aires)
Contact: Carlos Areces