jukebox-0.2.1: jukebox.cabal

Name: jukebox
Version: 0.2.1
Cabal-version: >= 1.8
Build-type: Simple
Author: Nick Smallbone
Maintainer: nicsma@chalmers.se
Copyright: 2009-2016 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

source-repository head
  type:     git
  location: https://github.com/nick8325/jukebox

Library
  Build-depends: base >= 4 && < 5, array, transformers, directory,
    filepath, pretty, minisat, symbol, dlist, process, containers, uglymemo
  ghc-options: -W -fno-warn-incomplete-patterns
  Build-tools: alex
  Hs-source-dirs: src
  include-dirs: src
  Exposed-modules:
    Jukebox.Clausify
    Jukebox.Form
    Jukebox.GuessModel
    Jukebox.HighSat
    Jukebox.InferTypes
    Jukebox.Monotonox.Monotonicity
    Jukebox.Monotonox.ToFOF
    Jukebox.Name
    Jukebox.Options
    Jukebox.Provers.E
    Jukebox.Provers.SPASS
    Jukebox.Sat3
    Jukebox.SatEq
    Jukebox.Sat
    Jukebox.SatMin
    Jukebox.Toolbox
    Jukebox.TPTP.Parse.Core
    Jukebox.TPTP.FindFile
    Jukebox.TPTP.Lexer
    Jukebox.TPTP.Parsec
    Jukebox.TPTP.Parse
    Jukebox.TPTP.ParseSnippet
    Jukebox.TPTP.Print
    Jukebox.UnionFind
    Jukebox.Utils

Executable jukebox
  Main-is: executable/Main.hs
  Build-depends: base >= 4 && < 5, jukebox
  ghc-options: -W -fno-warn-incomplete-patterns