-- Initial satchmo-toysat.cabal generated by cabal init.  For further documentation, see
--  http://haskell.org/cabal/users-guide/

name:                satchmo-toysat
version:             0.2.0.0
synopsis:            toysat driver as backend for satchmo
description:         toysat driver as backend for satchmo
homepage:            https://github.com/msakai/satchmo-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, .travis.yml
cabal-version:       >=1.10

source-repository head
  type:     git
  location: git://github.com/msakai/satchmo-toysat.git

library
  exposed-modules:     Satchmo.SAT.Toysat
  build-depends:
    base >=4.5 && <4.9,
    array >= 0.4 && < 0.6,
    containers >= 0.5.0.0 && < 0.6,
    satchmo >=2.8.1 && <2.9,
    toysolver >=0.2.0  && <0.3.0
  hs-source-dirs:      src
  default-language:    Haskell2010
  other-extensions:
    ScopedTypeVariables,
    MultiParamTypeClasses,
    TypeFamilies,
    TypeSynonymInstances