The hgen package

[Tags: gpl, program]

Random generation of modal and hybrid logic formulas


Properties

Versions1.2.0, 1.4.0
Dependenciesbase (==4.*), directory (==1.*), filepath (==1.*), hylolib (==1.3.*), mtl (==1.*), random (==1.*)
LicenseGPL
AuthorCarlos Areces and Juan Heguiabehere
Maintainerareces@loria.fr
CategoryTheorem Provers
Home pagehttp://www.glyc.dc.uba.ar/intohylo/hgen.php
Executableshgen
Upload dateMon Sep 27 17:21:13 UTC 2010
Uploaded byGuillaumeHoffmann
Downloads121 total (11 in last 30 days)

Flags

NameDescriptionDefault
staticBuild a static binaryDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees