hylotab: Tableau based theorem prover for hybrid logics

[ program, theorem-provers ] [ Propose Tags ]

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.

Versions [faq] 1.2.0, 1.2.1
Dependencies base (==4.*), hylolib (==1.3.*), mtl (==1.*) [details]
License LicenseRef-GPL
Author Jan van Eijck, Guillaume Hoffmann
Maintainer guillaumh@gmail.com
Category Theorem Provers
Home page http://www.glyc.dc.uba.ar/intohylo/hylotab.php
Uploaded by GuillaumeHoffmann at Mon Sep 27 13:31:34 UTC 2010
Distributions NixOS:1.2.1
Executables hylotab
Downloads 931 total (22 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]



Build a static binary


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