Name: jukebox
Version: 0.1.4
Cabal-version: >= 1.8
Build-type: Simple
Author: Nick Smallbone
Maintainer: nicsma@chalmers.se
Copyright: 2009-2014 Nick Smallbone, Koen Claessen, Ann Lillieström

Category:            Logic

Synopsis:            A first-order reasoning toolbox
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: BSD3
License-file: LICENSE

Library
  Build-depends: bytestring, base >= 4 && < 5, array, mtl, directory,
    filepath, pretty, hashable, minisat,
    binary, unordered-containers, process, containers
  Build-tools: alex
  Ghc-options: -funfolding-use-threshold=500
  Exposed-modules:
    Jukebox.Clausify
    Jukebox.Form
    Jukebox.GuessModel
    Jukebox.HighSat
    Jukebox.InferTypes
    Jukebox.Map
    Jukebox.Monotonox.Monotonicity
    Jukebox.Monotonox.ToFOF
    Jukebox.Name
    Jukebox.NameMap
    Jukebox.Options
    Jukebox.ProgressBar
    Jukebox.Provers.E
    Jukebox.Provers.SPASS
    Jukebox.Sat3
    Jukebox.SatEq
    Jukebox.Sat
    Jukebox.SatMin
    Jukebox.Seq
    Jukebox.Toolbox
    Jukebox.TPTP.ClauseParser
    Jukebox.TPTP.FindFile
    Jukebox.TPTP.Lexer
    Jukebox.TPTP.Parsec
    Jukebox.TPTP.ParseProblem
    Jukebox.TPTP.ParseSnippet
    Jukebox.TPTP.Print
    Jukebox.UnionFind
    Jukebox.Utils

Executable jukebox
  Main-is: Main.hs
  Build-depends: bytestring, base >= 4 && < 5, array, mtl, directory,
    filepath, pretty, hashable, minisat,
    binary, unordered-containers, process, containers,
    jukebox
  Build-tools: alex
  Ghc-options: -funfolding-use-threshold=500