The hgen package

[Tags: gpl, program]

Random generation of modal and hybrid logic formulas

Properties

Versions1.2.0, 1.4.0
Change logNone available
Dependenciesbase (==4.*), directory (==1.*), filepath (==1.*), hylolib (==1.3.*), mtl (==1.*), random (==1.*) [details]
LicenseGPL
AuthorCarlos Areces and Juan Heguiabehere
Maintainerareces@loria.fr
CategoryTheorem Provers
Home pagehttp://www.glyc.dc.uba.ar/intohylo/hgen.php
Executableshgen
UploadedMon Sep 27 17:21:13 UTC 2010 by GuillaumeHoffmann
Downloads343 total (20 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-05-31 [all 2 reports]

Flags

NameDescriptionDefaultType
staticBuild a static binaryDisabledAutomatic

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