summaryrefslogtreecommitdiff
path: root/finito.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'finito.cabal')
-rw-r--r--finito.cabal79
1 files changed, 79 insertions, 0 deletions
diff --git a/finito.cabal b/finito.cabal
new file mode 100644
index 0000000..f34a02c
--- /dev/null
+++ b/finito.cabal
@@ -0,0 +1,79 @@
+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 <https://github.com/typedbyte/finito#readme>
+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