Name:				uhc-util
Version:			0.1.6.7
x-revision: 1
cabal-version:      >= 1.6
License:			BSD3
Copyright:			Utrecht University, Department of Information and Computing Sciences, Software Technology group
Build-Type:			Simple
license-file:		LICENSE 
Author:				Atze Dijkstra
Maintainer:         atze@uu.nl
Homepage:           https://github.com/UU-ComputerScience/uhc-util
Bug-Reports:        https://github.com/UU-ComputerScience/uhc-util/issues
Category:			Development
Description:		General purpose utilities for UHC and related tools
Synopsis:			UHC utilities

extra-source-files: changelog.md
                    
source-repository head
  type:     git
  location: git://github.com/UU-ComputerScience/uhc-util.git

library
  Build-Depends:
    base >= 4.8.1 && < 4.10,
    mtl >= 2,
    transformers >= 0.4.2,
    fgl >= 5.4,
    hashable >= 1.2.4,
    containers >= 0.4,
    directory >= 1.1,
    array >= 0.3,
    process >= 1.1,
    binary >= 0.5,
    bytestring >= 0.9,
    uulib >= 0.9.19,
    time-compat >= 0.1.0.1,
    time >= 1.2,
    fclabels >= 2.0.3,
    logict-state >= 0.1.0.2,
    pqueue >= 1.3.1
  Exposed-Modules:
    UHC.Util.AGraph,
    UHC.Util.AssocL,
    UHC.Util.Binary,
    UHC.Util.CHR,
    UHC.Util.CHR.Key,
    UHC.Util.CHR.Base,
    UHC.Util.CHR.Rule,
    UHC.Util.CHR.Solve.TreeTrie.Mono,
    UHC.Util.CHR.Solve.TreeTrie.MonoBacktrackPrio,
    UHC.Util.CHR.Solve.TreeTrie.Examples.Term.Main,
    UHC.Util.CHR.Solve.TreeTrie.Visualizer,
    UHC.Util.CHR.GTerm,
    UHC.Util.CompileRun,
    UHC.Util.CompileRun2,
    UHC.Util.CompileRun3,
    UHC.Util.Control.Monad,
    UHC.Util.Debug,
    UHC.Util.DependencyGraph,
    UHC.Util.Error,
    UHC.Util.FastSeq,
    UHC.Util.FPath,
    UHC.Util.Fresh,
    UHC.Util.Hashable,
    UHC.Util.Lens,
    UHC.Util.Nm,
    UHC.Util.ParseErrPrettyPrint,
    UHC.Util.ParseUtils,
    UHC.Util.Pretty,
    UHC.Util.PrettySimple,
    UHC.Util.PrettyUtils,
    UHC.Util.Rel,
    UHC.Util.RelMap,
    UHC.Util.RLList,
    UHC.Util.RLList.LexScope,
    UHC.Util.ScanUtils,
    UHC.Util.ScopeMapGam,
    UHC.Util.ScopeVarMp,
    UHC.Util.Serialize,
    UHC.Util.Substitutable,
    UHC.Util.Time,
    UHC.Util.TreeTrie,
    UHC.Util.TreeTrie2,
    UHC.Util.Utils,
    UHC.Util.VarLookup,
    UHC.Util.VarMp
  Other-Modules:
    UHC.Util.CHR.Solve.TreeTrie.Internal.Shared,
    UHC.Util.CHR.Solve.TreeTrie.Internal,
    UHC.Util.CHR.GTerm.AST,
    UHC.Util.CHR.GTerm.Parser,
    UHC.Util.CHR.Solve.TreeTrie.Examples.Term.AST
  Ghc-Options:		
  HS-Source-Dirs: src
  Build-Tools:		
  Extensions: NoMagicHash, DeriveGeneric, DeriveDataTypeable, TypeFamilies, FlexibleContexts, FunctionalDependencies, FlexibleInstances