Name:                hylolib
Version:             1.5.1
Synopsis:            Tools for hybrid logics related programs
License:             GPL
License-file:        LICENSE
Author:              Daniel Gorin
Maintainer:          guillaumh@gmail.com
Build-Type:          Simple
Cabal-Version:       >= 1.22
Category:            Theorem Provers
source-repository head
    type:     darcs
    location: http://hub.darcs.net/gh/hylolib

Library
  Default-language:    Haskell2010
  Build-Depends:       base >= 4.8, base < 5,
                       containers < 1,
                       array < 1,
                       mtl >= 2, mtl < 3,
                       pretty >= 1, pretty < 2,
                       random >= 1, random < 2,
                       uniplate >= 1.6, uniplate < 1.7
  Exposed-modules:     HyLo.Signature
                       HyLo.Signature.Simple
                       HyLo.Signature.String
                       HyLo.Formula
                       HyLo.Formula.Rewrite
                       HyLo.InputFile
                       HyLo.InputFile.Lexer
                       HyLo.InputFile.Parser
                       HyLo.InputFile.OldLexer
                       HyLo.InputFile.OldParser
                       HyLo.Model
                       HyLo.Model.Herbrand
                       HyLo.Model.PrettyPrint
                       HyLo.Util
                       Data.EnumSet
                       Data.EnumMap
  Other-modules:       
  Default-extensions:  GADTs
                       ScopedTypeVariables
                       MultiParamTypeClasses
                       FunctionalDependencies
                       FlexibleContexts
                       FlexibleInstances
                       UndecidableInstances
                       PatternGuards
                       TypeFamilies
  hs-source-dirs:      src
  ghc-options:         -Wall -O2