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