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.4.*), mtl (==2.*), 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 dateThu Jul 5 01:43:29 UTC 2012
Uploaded byGuillaumeHoffmann
Downloads125 total (13 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