hylotab: Tableau based theorem prover for hybrid logics
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
Name | Description | Default |
---|---|---|
static | Build a static binary | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- hylotab-1.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 | 1738 total (3 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] |