homepage: ''
changelog-type: ''
hash: f025159a88f4e204d0abe1aca84320ff7a2e8471833c3e5e3d13718355003d15
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: A first-order reasoning toolbox
changelog: ''
basic-deps:
  jukebox: -any
  base: ==4.*
  minisat: -any
  filepath: -any
  process: -any
  symbol: -any
  dlist: -any
  array: -any
  containers: -any
  uglymemo: -any
  transformers: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
- '0.1.3'
- '0.1.4'
- '0.1.5'
- '0.1.6'
- '0.2'
- '0.2.1'
author: Nick Smallbone
latest: '0.2.1'
description-type: haddock
description: ! 'Jukebox is a suite of tools for transforming problems in first-order
  logic.

  It reads problems in TPTP (FOF and TFF) format.


  Currently it can translate typed problems to untyped (by efficiently

  encoding types) and clausify problems (both typed and untyped).'
license-name: BSD3

homepage: ''
changelog-type: ''
hash: d16581b78a83a5e5d85e152735d2edb30cfbb8bd635917a0451c078e5d9de887
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: A first-order reasoning toolbox
changelog: ''
basic-deps:
  jukebox: -any
  base: ==4.*
  minisat: -any
  filepath: -any
  process: -any
  symbol: -any
  dlist: -any
  array: -any
  containers: -any
  uglymemo: -any
  transformers: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
- '0.1.3'
- '0.1.4'
- '0.1.5'
- '0.1.6'
- '0.2'
- '0.2.1'
- '0.2.2'
author: Nick Smallbone
latest: '0.2.2'
description-type: haddock
description: ! 'Jukebox is a suite of tools for transforming problems in first-order
  logic.

  It reads problems in TPTP (FOF and TFF) format.


  Currently it can translate typed problems to untyped (by efficiently

  encoding types) and clausify problems (both typed and untyped).'
license-name: BSD3

Update from Hackage at 2016-02-01T12:21:19+0000
Update from Hackage at 2016-02-01T12:21:19+0000
