Name:                hylolib
Version:             1.3.0
Synopsis:            Tools for hybrid logics related programs
License:             GPL
License-file:        LICENSE
Author:              Daniel Gorin
Maintainer:          dgorin@dc.uba.ar
Build-Type:          Simple
Cabal-Version:       >= 1.2.3
Category:            Theorem Provers

Library
  Build-Depends:       base >= 4, base < 5,
                       containers < 1,
                       array < 1,
                       mtl >= 1, mtl < 2,
                       pretty >= 1, pretty < 2,
                       random >= 1, random < 2,
                       QuickCheck >= 1, QuickCheck < 2,
                       uniplate >= 1.4, uniplate < 1.5
  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
                       HyLo.Test
                       Data.EnumSet
                       Data.EnumMap
                       Data.Map.Arbitrary
                       Data.Set.Arbitrary
  Other-modules:       
  Extensions:          GADTs
                       ScopedTypeVariables
                       MultiParamTypeClasses
                       FunctionalDependencies
                       FlexibleContexts
                       FlexibleInstances
                       UndecidableInstances
                       PatternGuards
                       TypeFamilies
  hs-source-dirs:      src
  ghc-options:         -Wall -O2
  ghc-prof-options:    -auto-all