cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack -- -- hash: ecf8c68ef6f9899a0002862838c8ea291afd77aaf46d4cb031a5975c44f39022 name: finito version: 0.1.0.0 synopsis: Constraint Solver for Finite Domains description: Please see the README on GitHub at category: AI homepage: https://github.com/typedbyte/finito#readme bug-reports: https://github.com/typedbyte/finito/issues author: Michael Szvetits maintainer: typedbyte@qualified.name copyright: 2020 Michael Szvetits license: BSD3 license-file: LICENSE build-type: Simple extra-source-files: README.md ChangeLog.md source-repository head type: git location: https://github.com/typedbyte/finito library exposed-modules: AI.Search.FiniteDomain.Int other-modules: AI.Search.FiniteDomain.Int.Cell AI.Search.FiniteDomain.Int.Constraint AI.Search.FiniteDomain.Int.Expression Paths_finito hs-source-dirs: src ghc-options: -Wall build-depends: base >=4.7 && <5 , numeric-domains >=0.1 && <0.2 , propeller >=0.1 && <0.2 , transformers >=0.5.2.0 && <0.6 default-language: Haskell2010 test-suite queens type: exitcode-stdio-1.0 main-is: Main.hs other-modules: Paths_finito hs-source-dirs: examples/queens ghc-options: -Wall build-depends: base >=4.7 && <5 , finito , numeric-domains >=0.1 && <0.2 , propeller >=0.1 && <0.2 , transformers >=0.5.2.0 && <0.6 default-language: Haskell2010 test-suite sudoku type: exitcode-stdio-1.0 main-is: Main.hs other-modules: Paths_finito hs-source-dirs: examples/sudoku ghc-options: -Wall build-depends: base >=4.7 && <5 , finito , numeric-domains >=0.1 && <0.2 , propeller >=0.1 && <0.2 , split , transformers >=0.5.2.0 && <0.6 default-language: Haskell2010