cabal-version:      1.12
name:               iterative-forward-search
version:            0.1.0.0
license:            MIT
license-file:       LICENSE
copyright:          Copyright (c) Michael B. Gale and Oscar Harris
maintainer:         m.gale@warwick.ac.uk
author:             Michael B. Gale and Oscar Harris
homepage:           https://github.com/fpclass/iterative-forward-search#readme
bug-reports:        https://github.com/fpclass/iterative-forward-search/issues
synopsis:           An IFS constraint solver
description:
    An implementation of the IFS contraint satisfaction algorithm

category:           Constraints, Library
build-type:         Simple
extra-source-files:
    README.md
    Changelog.md

source-repository head
    type:     git
    location: https://github.com/fpclass/iterative-forward-search

library
    exposed-modules:
        Data.IFS
        Data.IFS.Algorithm
        Data.IFS.Timetable
        Data.IFS.Types

    hs-source-dirs:     src
    other-modules:      Paths_iterative_forward_search
    default-language:   Haskell2010
    default-extensions: RecordWildCards TupleSections
    build-depends:
        base >=4.7 && <5,
        containers <0.7,
        deepseq <1.5,
        fingertree <0.2,
        hashable <1.4,
        random <1.2,
        time <1.10,
        transformers <0.6,
        unordered-containers <0.3

benchmark iterative-forward-search-bench
    type:               exitcode-stdio-1.0
    main-is:            Main.hs
    hs-source-dirs:     bench
    other-modules:      Paths_iterative_forward_search
    default-language:   Haskell2010
    default-extensions: RecordWildCards TupleSections
    ghc-options:        -threaded -rtsopts -with-rtsopts=-N
    build-depends:
        base >=4.7 && <5,
        containers <0.7,
        criterion <1.6,
        deepseq <1.5,
        fingertree <0.2,
        hashable <1.4,
        iterative-forward-search -any,
        random <1.2,
        time <1.10,
        transformers <0.6,
        unordered-containers <0.3