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, directory, filepath, hylolib, mtl, random
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
DistributionsNixOS:1.4.0
Downloads311 total (21 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-31 [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