-- 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