packages feed

exact-cover-0.1.0.0: exact-cover.cabal

name: exact-cover
version: 0.1.0.0
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE.txt
copyright: (c) 2017, Arthur Lee
maintainer: me@arthur.li
homepage: https://github.com/arthurl/exact-cover
bug-reports: https://github.com/arthurl/exact-cover/issues
synopsis: Efficient exact cover solver.
description:
    Fast solver for exact set cover problems
    (<http://en.wikipedia.org/wiki/Exact_cover>) using Algorithm X as described in
    the paper /Dancing Links/, by Donald Knuth, in
    /Millennial Perspectives in Computer Science/, P159, 2000
    (<https://arxiv.org/abs/cs/0011047>).
    .
    To get started, see the documentation for the "Math.ExactCover" module below.
    .
    Build examples with @cabal install -fbuildExamples@ or @stack build --flag
    exact-cover:buildExamples@. Examples include a Sudoku solver.
category: Math, Algorithms
author: Arthur Lee
tested-with: GHC ==7.10.3 GHC ==8.0.1 GHC ==8.0.2
extra-source-files:
    README.md
    cbits/*.h

source-repository head
    type: git
    location: https://github.com/arthurl/exact-cover

flag buildexamples
    description:
        Build example executables.
    default: False
    manual: True

library
    exposed-modules:
        Math.ExactCover
        Math.ExactCover.Internal.DLX
    build-depends:
        base >=4.6 && <4.10,
        containers ==0.5.*
    cc-options: -std=c99
    c-sources:
        cbits/dlx.c
    default-language: Haskell2010
    default-extensions: OverloadedStrings ViewPatterns
    other-extensions: ForeignFunctionInterface CPP EmptyDataDecls
    include-dirs: cbits
    hs-source-dirs: src
    ghc-options: -funbox-strict-fields -Wall

executable sudoku
    
    if !flag(buildexamples)
        buildable: False
    main-is: Main.hs
    build-depends:
        exact-cover <0.2,
        base <4.10,
        containers <0.6,
        vector <0.12,
        safe <0.4,
        boxes <0.2
    default-language: Haskell2010
    default-extensions: OverloadedStrings ViewPatterns
    hs-source-dirs: examples/sudoku
    other-modules:
        Sudoku
        Sudoku.Grid
    ghc-options: -Wall

test-suite tasty
    type: exitcode-stdio-1.0
    main-is: Main.hs
    build-depends:
        exact-cover <0.2,
        base <4.10,
        tasty <0.12,
        tasty-hunit <0.10,
        containers <0.6
    default-language: Haskell2010
    default-extensions: OverloadedStrings ViewPatterns
    hs-source-dirs: tests
    other-modules:
        Math.ExactCover.Tests
    ghc-options: -Wall