homepage: ''
changelog-type: ''
hash: f6acc5c56866ca43e9794bfe5303606564996dd5146fc3e61627946c69e2c2cb
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: A first-order reasoning toolbox
changelog: ''
basic-deps:
  jukebox: -any
  bytestring: -any
  base: ==4.*
  unordered-containers: -any
  minisat: -any
  filepath: -any
  process: -any
  array: -any
  containers: -any
  binary: -any
  mtl: -any
  hashable: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
- '0.1.3'
- '0.1.4'
author: Nick Smallbone
latest: '0.1.4'
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: f8f874c07b7a3bf42eea7fa523ebb03894f6776da2f88dcf5d4a9b6aef184818
test-bench-deps: {}
maintainer: nicsma@chalmers.se
synopsis: A first-order reasoning toolbox
changelog: ''
basic-deps:
  jukebox: -any
  bytestring: -any
  base: ==4.*
  unordered-containers: -any
  minisat: -any
  filepath: -any
  process: -any
  array: -any
  containers: -any
  binary: -any
  mtl: -any
  hashable: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.1.2'
- '0.1.3'
- '0.1.4'
- '0.1.5'
author: Nick Smallbone
latest: '0.1.5'
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-01-20T15:53:11+0000
Update from Hackage at 2016-01-20T15:53:11+0000
