@hackage HTab1.6.3

Tableau based theorem prover for hybrid logics

Categories
License
LicenseRef-GPL
Maintainer
guillaumh@gmail.com
Links
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 <5
- cmdargs >=0.10.1
- containers
- deepseq
- hylolib >=1.4 && <1.5
- mtl <3
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary

Tableau based theorem prover for hybrid logics