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.


Versions 1.2.0, 1.2.1
Dependencies base (==4.*), hylolib (==1.4.*), mtl (==2.*) [details]
License GPL
Author Jan van Eijck, Guillaume Hoffmann
Category Theorem Provers
Home page
Uploaded Thu Jul 5 01:37:35 UTC 2012 by GuillaumeHoffmann
Distributions NixOS:1.2.1
Downloads 505 total (12 in the last 30 days)
0 []
Status Docs not available [build log]
Successful builds reported [all 8 reports]
Hackage Matrix CI


staticBuild a static binaryDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees