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

Versions 1.2.0, 1.2.1
Dependencies base (==4.*), hylolib (==1.3.*), mtl (==1.*) [details]
License GPL
Author Jan van Eijck, Guillaume Hoffmann
Maintainer guillaumh@gmail.com
Stability Unknown
Category Theorem Provers
Home page http://www.glyc.dc.uba.ar/intohylo/hylotab.php
Uploaded Mon Sep 27 13:31:34 UTC 2010 by GuillaumeHoffmann
Distributions NixOS:1.2.1
Downloads 444 total (5 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-22 [all 5 reports]

Flags

NameDescriptionDefaultType
staticBuild a static binaryDisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees