The hylotab package

[Tags: gpl, program]

HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written in 2002 by Jan van Eijck. It is no longer developped, but we made it compatible with the syntax used in HyLoLib to easen comparison with other provers.


Properties

Versions1.2.0, 1.2.1
Dependenciesbase (==4.*), hylolib (==1.3.*), mtl (==1.*)
LicenseGPL
AuthorJan van Eijck, Guillaume Hoffmann
Maintainerguillaumh@gmail.com
CategoryTheorem Provers
Home pagehttp://www.glyc.dc.uba.ar/intohylo/hylotab.php
Executableshylotab
Upload dateMon Sep 27 13:31:34 UTC 2010
Uploaded byGuillaumeHoffmann
Downloads151 total (12 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