homepage: http://github.com/nick8325/twee
changelog-type: ''
hash: ddfcb899293c2999c5932fc12692f38091496b0b431717b8ad5a3d701945f554
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: An equational theorem prover
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  dlist: -any
  containers: -any
  ghc-prim: -any
  transformers: -any
  pretty: ! '>=1.1.2.0'
  primitive: ! '>=0.6.2.0'
  vector: -any
all-versions:
- '2.1'
- '2.1.1'
author: Nick Smallbone
latest: '2.1.1'
description-type: haddock
description: ! 'Twee is an experimental equational theorem prover based on

  Knuth-Bendix completion.


  Given a set of equational axioms and a set of equational

  conjectures it will try to prove the conjectures.

  It will terminate if the conjectures are true but normally

  fail to terminate if they are false.


  The input problem should be in TPTP format (see

  http://www.tptp.org). You can use types and quantifiers, but apart

  from that the problem must be equational.


  This package contains only the library part of twee.'
license-name: BSD3

homepage: http://github.com/nick8325/twee
changelog-type: ''
hash: 3aa4adeea2fb62b096c4040f516cdc72b5a8e78384e8ac38395a99be83e02c77
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: An equational theorem prover
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  dlist: -any
  containers: -any
  ghc-prim: -any
  transformers: -any
  pretty: ! '>=1.1.2.0'
  primitive: ! '>=0.6.2.0'
  vector: -any
all-versions:
- '2.1'
- '2.1.1'
- '2.1.2'
author: Nick Smallbone
latest: '2.1.2'
description-type: haddock
description: ! 'Twee is an experimental equational theorem prover based on

  Knuth-Bendix completion.


  Given a set of equational axioms and a set of equational

  conjectures it will try to prove the conjectures.

  It will terminate if the conjectures are true but normally

  fail to terminate if they are false.


  The input problem should be in TPTP format (see

  http://www.tptp.org). You can use types and quantifiers, but apart

  from that the problem must be equational.


  This package contains only the library part of twee.'
license-name: BSD3

Update from Hackage at 2018-02-23T13:51:59Z
Update from Hackage at 2018-02-23T13:51:59Z
