homepage: http://www.glyc.dc.uba.ar/intohylo/htab.php
changelog-type: ''
hash: 52c4edf8f82fb6b8befe365946fc5a6cecea30120846c553f54930b2a764f030
test-bench-deps: {}
maintainer: guillaumh@gmail.com
synopsis: Tableau based theorem prover for hybrid logics
changelog: ''
basic-deps:
  base: ==4.*
  hylolib: ==1.4.*
  strict: -any
  containers: -any
  mtl: ==2.*
  cmdargs: ! '>=0.10.1'
  deepseq: -any
all-versions:
- 1.5.4
- 1.5.5
- 1.5.6
- 1.6.0
- 1.6.1
- 1.6.2
- 1.6.3
author: Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
latest: 1.6.3
description-type: haddock
description: Tableau based theorem prover for hybrid logics
license-name: LicenseRef-GPL

homepage: http://hub.darcs.net/gh/htab
changelog-type: ''
hash: da2e33ee6139c5c39e732dcd42efa6f4dd86286e22adbbc6ecd7d636bce0ff32
test-bench-deps: {}
maintainer: guillaumh@gmail.com
synopsis: Tableau based theorem prover for hybrid logics
changelog: ''
basic-deps:
  base: ! '>=4.10 && <5'
  hylolib: ! '>=1.5.1'
  strict: -any
  containers: -any
  mtl: ==2.*
  cmdargs: ! '>=0.10.10'
  random: -any
  deepseq: -any
all-versions:
- 1.5.4
- 1.5.5
- 1.5.6
- 1.6.0
- 1.6.1
- 1.6.2
- 1.6.3
- 1.7.2
author: Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
latest: 1.7.2
description-type: haddock
description: Tableau based theorem prover for hybrid logics
license-name: BSD-3-Clause

Update from Hackage at 2019-04-25T21:07:51Z
Update from Hackage at 2019-04-25T21:07:51Z
