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

homepage: http://hub.darcs.net/gh/htab
changelog-type: ''
hash: 4846c53384f526d4836efbc4674e8aebef233337bbb588ada0397e74e27e3da9
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
- 1.7.3
author: Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
latest: 1.7.3
description-type: haddock
description: Tableau based theorem prover for hybrid logics
license-name: BSD-3-Clause

Update from Hackage at 2020-05-15T16:34:44Z
Update from Hackage at 2020-05-15T16:34:44Z
