HTab: Tableau based theorem prover for hybrid logics

[ bsd3, program, theorem-provers ] [ Propose Tags ] [ Report a vulnerability ]

Tableau based theorem prover for hybrid logics

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

HTab-1.6.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

Versions [RSS]	1.5.4, 1.5.5, 1.5.6, 1.6.0, 1.6.1, 1.6.2, 1.6.3, 1.7.2, 1.7.3
Change log	NEWS
Dependencies	base (>=4 && <5), cmdargs (>=0.9 && <1.0), containers (<1), deepseq (>=1 && <2), hylolib (>=1.3.2 && <1.4), mtl (>=2 && <3), strict (<1) [details]
License	LicenseRef-GPL
Author	Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
Maintainer	guillaumh@gmail.com
Category	Theorem provers
Home page	http://www.glyc.dc.uba.ar/intohylo/htab.php
Bug tracker	http://code.google.com/p/intohylo/
Uploaded	by GuillaumeHoffmann at 2011-12-02T15:44:37Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	htab
Downloads	7108 total (37 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-26 [all 8 reports]