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.4.*), mtl (==2.*), 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
UploadedThu Jul 5 01:43:29 UTC 2012 by GuillaumeHoffmann
DistributionsNixOS:1.4.0
Downloads323 total (11 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
Successful builds reported [all 2 reports]

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