Team LeD

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Software

hGEN, a Random Formula Generator

hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@, Im1 $\#8595 $ , 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.

Version: 1.0

License: GPL

Authors: Carlos Areces, and Juan Heguiabehere (from the University of Buenos Aires)

Contact: Carlos Areces


previous
next

Logo Inria