-- 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 <http://www.coinheist.com/rubik/a_regular_crossword/> 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