The hylotab package
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.
Properties
| Versions | 1.2.0, 1.2.1 |
|---|---|
| Dependencies | base (4.*), hylolib (1.4.*), mtl (2.*) |
| License | 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 |
| Executables | hylotab |
| Upload date | Thu Jul 5 01:37:35 UTC 2012 |
| Uploaded by | GuillaumeHoffmann |
Downloads
- hylotab-1.2.1.tar.gz (Cabal source package)
- package description (included in the package)