homepage: http://github.com/nick8325/twee
changelog-type: ''
hash: debd484ff7d63854202392800c1845f645dc4e51a3511b456d19e065a97f20a6
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: An equational theorem prover
changelog: ''
basic-deps:
  jukebox: ! '>=0.2'
  heaps: -any
  reflection: -any
  split: -any
  base: ==4.*
  twee: -any
  dlist: -any
  array: -any
  containers: -any
  ghc-prim: -any
  transformers: -any
  pretty: -any
  primitive: -any
all-versions:
- '0.1'
author: Nick Smallbone
latest: '0.1'
description-type: text
description: ! 'This is twee, a prover for equational problems.


  To install, run cabal install.


  Afterwards, invoke as twee nameofproblem.p. The problem should be in

  TPTP format (http://www.tptp.org). You can find a few examples in the

  tests directory. All axioms and conjectures must be equations, but you

  can freely use types and quantifiers.


  Twee is experimental software, use at your own risk!

'
license-name: BSD3

homepage: http://github.com/nick8325/twee
changelog-type: ''
hash: f12df51c8f4eb6206590f7d3da1b1681a56feccde9674cd05a1c340d74312f1d
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: An equational theorem prover
changelog: ''
basic-deps:
  jukebox: ! '>=0.3'
  split: -any
  base: ==4.*
  twee: -any
  dlist: -any
  containers: -any
  ghc-prim: -any
  transformers: -any
  pretty: -any
  primitive: ! '>=0.6.2.0'
all-versions:
- '0.1'
- '2.0'
author: Nick Smallbone
latest: '2.0'
description-type: text
description: ! 'This is twee, a prover for equational problems.


  To install, run cabal install.


  Afterwards, invoke as twee nameofproblem.p. The problem should be in

  TPTP format (http://www.tptp.org). You can find a few examples in the

  tests directory. All axioms and conjectures must be equations, but you

  can freely use types and quantifiers.


  Twee is experimental software, use at your own risk!

'
license-name: BSD3

Update from Hackage at 2017-09-03T16:05:14Z
Update from Hackage at 2017-09-03T16:05:14Z
