The hgen package
Random generation of modal and hybrid logic formulas
Properties
| Versions | 1.2.0, 1.4.0 |
|---|---|
| Dependencies | base (4.*), directory (1.*), filepath (1.*), hylolib (1.3.*), mtl (1.*), random (1.*) |
| License | GPL |
| Author | Carlos Areces and Juan Heguiabehere |
| Maintainer | areces@loria.fr |
| Category | Theorem Provers |
| Home page | http://www.glyc.dc.uba.ar/intohylo/hgen.php |
| Executables | hgen |
| Upload date | Mon Sep 27 17:21:13 UTC 2010 |
| Uploaded by | GuillaumeHoffmann |
Downloads
- hgen-1.2.0.tar.gz (Cabal source package)
- package description (included in the package)