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.

Flags

Automatic Flags
NameDescriptionDefault
static

Build a static binary

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.2.0, 1.2.1
Dependencies base (>=4 && <5), hylolib (>=1.3 && <1.4), mtl (>=1 && <2) [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 2010-09-27T13:31:34Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hylotab
Downloads 1713 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]