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 it is kept compatible with the syntax used in HyLoLib.

Properties

Versions1.2.0, 1.2.1
Change logNone available
Dependenciesbase (==4.*), hylolib (==1.4.*), mtl (==2.*) [details]
LicenseGPL
AuthorJan van Eijck, Guillaume Hoffmann
Maintainerguillaumh@gmail.com
CategoryTheorem Provers
Home pagehttp://www.glyc.dc.uba.ar/intohylo/hylotab.php
Executableshylotab
UploadedThu Jul 5 01:37:35 UTC 2012 by GuillaumeHoffmann
Downloads326 total (20 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
Successful builds reported [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