@hackage HTab1.5.5

Tableau based theorem prover for hybrid logics

Categories
License
LicenseRef-GPL
Maintainer
guillaume.hoffmann@loria.fr
Links
- Homepage
- Documentation
- No source repository
- Changelog
Versions
- 1.7.3 Fri, 15 May 2020
- 1.7.2 Thu, 25 Apr 2019
- 1.6.3 Sat, 10 Aug 2013
- 1.6.2 Tue, 29 Jan 2013
- 1.6.1 Thu, 5 Jul 2012
- 1.6.0 Fri, 2 Dec 2011

Installation
In your cabal file:
Dependencies (0)
- base >=4
- containers <1
- deepseq <2
- directory <=2
- filepath <=2
- mtl >=2
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary

Tableau based theorem prover for hybrid logics