@hackage hylotab1.2.1

Tableau based theorem prover for hybrid logics

Categories
License
LicenseRef-GPL
Maintainer
guillaumh@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.2.1 Thu, 5 Jul 2012
- 1.2.0 Mon, 27 Sep 2010

Installation
In your cabal file:
Dependencies (0)
- base >=4
- mtl >=2
- hylolib >=1.4 && <1.5
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary

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.

@hackage hylotab1.2.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)

Package Flags