-- Initial chr.cabal generated by cabal init.  For further documentation, 
-- see http://haskell.org/cabal/users-guide/

name:                chr-core
version:             0.1.0.0
synopsis:            Constraint Handling Rules
description:         Constraint Handling Rules evaluation engine
license:             BSD3
license-file:        LICENSE
author:              Atze Dijkstra
maintainer:          atzedijkstra@gmail.com
Homepage:            https://github.com/atzedijkstra/chr
Bug-Reports:         https://github.com/atzedijkstra/chr/issues
-- copyright:           
category:            Control
build-type:          Simple
extra-source-files:  ChangeLog.md, README.md
cabal-version:       >=1.10

source-repository head
  type:     git
  location: git@github.com:atzedijkstra/chr.git

library
  exposed-modules:  
    CHR.Solve.MonoBacktrackPrio,
    CHR.Types,
    CHR.Types.Rule,
    CHR.Types.Core
  other-modules:     

  -- other-extensions: 
  default-extensions:
    NoMagicHash,
    DeriveGeneric,
    DeriveDataTypeable,
    TypeFamilies,
    FlexibleContexts,
    FunctionalDependencies,
    FlexibleInstances,
    RankNTypes
  build-depends:      
    base >=4.9 && < 5,
    -- array >= 0.3,
    hashable >= 1.2.4,
    unordered-containers >= 0.2.7,
    containers >= 0.4,
    mtl >= 2,
    pqueue >= 1.3.1,
    -- vector >= 0.11,
    -- fclabels >= 2.0.3,
    chr-data >= 0.1.0.0,
    chr-pretty >= 0.1.0.0,
    logict-state >= 0.1.0.4
  hs-source-dirs:      src
  default-language:    Haskell2010