-- Initial ersatz-toysat.cabal generated by cabal init. For further documentation, see -- http://haskell.org/cabal/users-guide/ name: ersatz-toysat version: 0.2.2.0 synopsis: toysat driver as backend for ersatz description: toysat driver as backend for ersatz homepage: https://github.com/msakai/ersatz-toysat license: BSD3 license-file: LICENSE author: Masahiro Sakai maintainer: masahiro.sakai@gmail.com copyright: (c) 2014 Masahiro Sakai category: Logic, Algorithms build-type: Simple extra-source-files: README.md, examples/LICENSE, .travis.yml cabal-version: >=1.10 source-repository head type: git location: git://github.com/msakai/ersatz-toysat.git flag examples description: Build examples default: False manual: True library exposed-modules: Ersatz.Solver.Toysat build-depends: base >=4.6 && <4.11, array >= 0.4 && < 0.6, containers >= 0.4.2.1 && < 0.6, transformers >=0.3 && <0.6, ersatz >=0.3 && <0.5, toysolver >=0.2.0 && <0.6.0 hs-source-dirs: src default-language: Haskell2010 executable ersatz-toysat-regexp-grid -- description: An example program that solves the regular expression crossword problem using Ersatz. if flag(examples) build-depends: base < 5, containers, ersatz, ersatz-toysat, lens, mtl, parsec >= 3.1 && < 3.2 if impl(ghc >= 7.4 && < 7.6) build-depends: ghc-prim else buildable: False main-is: Main.hs other-modules: RegexpGrid.Problem RegexpGrid.Regexp RegexpGrid.Types default-language: Haskell2010 ghc-options: -Wall hs-source-dirs: examples/regexp-grid other-extensions: TupleSections TemplateHaskell TypeFamilies DeriveGeneric DeriveDataTypeable executable ersatz-toysat-sudoku -- description: An example program that solves a sudoku problem using Ersatz. if flag(examples) build-depends: array, base < 5, ersatz, ersatz-toysat, mtl if impl(ghc >= 7.4 && < 7.6) build-depends: ghc-prim else buildable: False default-language: Haskell2010 main-is: Main.hs other-modules: Sudoku.Cell Sudoku.Problem ghc-options: -Wall hs-source-dirs: examples/sudoku other-extensions: TypeFamilies DeriveGeneric DeriveDataTypeable FlexibleContexts