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

Package maintainers

• GuillaumeHoffmann

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates