Cabal revisions of set-cover-0.1.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: set-cover-Version: 0.1.1-License: BSD3-License-File: LICENSE-Author: Henning Thielemann, Helmut Podhaisky-Maintainer: Henning Thielemann <haskell@henning-thielemann.de>-Homepage: http://hub.darcs.net/thielema/set-cover/-Category: Math, Algorithms-Synopsis: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube-Description:- Solver for exact set cover problems.- Included examples:- Sudoku, Nonogram, 8 Queens, Domino tiling, Mastermind, Alphametics,- Soma Cube, Tetris Cube, Cube of L's,- Logika's Baumeister puzzle, Lonpos pyramid, Conway's puzzle.- The generic algorithm allows to choose between- slow but flexible @Set@ from @containers@ package- and fast but cumbersome bitvectors.- .- For getting familiar with the package- I propose to study the Queen8 example along with "Math.SetCover.Exact".- .- The Sudoku and Nonogram examples also demonstrate- how to interpret the set-cover solution in a human-friendly way.- .- Build examples with @cabal install -fbuildExamples@.- .- The package needs only Haskell 98.- There is also an experimental implementation using LLVM and @knead@.- Do not rely on that interface in released packages.-Tested-With: GHC==7.4.2, GHC==7.6.3, GHC==7.8.2-Cabal-Version: >=1.8-Build-Type: Simple-Extra-Source-Files:- Changes.md- Makefile--Flag buildExamples- Description: Build example executables- Default: False--Flag llvm- Description: Enable efficient signal processing using LLVM- Manual: True- Default: False--Source-Repository this- Tag: 0.1.1- Type: darcs- Location: http://hub.darcs.net/thielema/set-cover/--Source-Repository head- Type: darcs- Location: http://hub.darcs.net/thielema/set-cover/--Library- Build-Depends:- psqueues >=0.2 && <0.3,- enummapset >=0.1 && <0.7,- transformers >=0.2 && <0.6,- array >=0.4 && <0.6,- containers >=0.4 && <0.7,- non-empty >=0.2 && <0.4,- semigroups >=0.1 && <1.0,- utility-ht >=0.0.12 && <0.1,- prelude-compat ==0.*,- base >=4 && <5-- GHC-Options: -Wall- Hs-Source-Dirs: src- Exposed-Modules:- Math.SetCover.Bit- Math.SetCover.BitSet- Math.SetCover.BitPosition- Math.SetCover.BitPriorityQueue- Math.SetCover.Queue- Math.SetCover.Exact- Math.SetCover.Exact.Priority- Math.SetCover.Exact.UArray- Math.SetCover.Cuboid- Other-Modules:- Math.SetCover.BitMap- Math.SetCover.EnumMap- Math.SetCover.Queue.Set- Math.SetCover.Queue.Map- Math.SetCover.Queue.Bit- Math.SetCover.Queue.BitPriorityQueue- Math.SetCover.Exact.Block-- If flag(llvm)- Build-Depends:- knead >=0.4 && <0.6,- llvm-extra >=0.10 && <0.11,- llvm-tf >=9.2 && <9.3,- tfp >=1.0 && <1.1,- comfort-array >=0.3 && <0.5,- storable-record >=0.0.5 && <0.1,- storable-endian >=0.2.6 && <0.3,- bool8 >=0.0 && <0.1,- lazyio >=0.1 && <0.2- Exposed-Modules:- Math.SetCover.Exact.Knead- Math.SetCover.Exact.Knead.Vector- Math.SetCover.Exact.Knead.Saturated- Other-Modules:- Math.SetCover.Exact.Knead.Symbolic--Test-Suite set-cover-test- Type: exitcode-stdio-1.0- Build-Depends:- set-cover,- transformers >=0.2 && <0.6,- enummapset,- containers,- array >=0.1 && <0.6,- utility-ht,- QuickCheck >=2.5 && <3.0,- base- Main-Is: Test.hs- Hs-Source-Dirs: test, example- If flag(llvm)- Hs-Source-Dirs: test/knead- Else- Hs-Source-Dirs: test/plain- GHC-Options: -Wall- Other-Modules:- Mastermind.Test- Mastermind.Guess- Mastermind.Utility- Test.Knead- Test.Utility--Executable tetris-cube- If flag(buildExamples)- Build-Depends:- haha >=0.3.1 && <0.4,- pooled-io >=0.0 && <0.1,- set-cover,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: TetrisCube.hs- Other-Modules:- Utility--Executable soma-cube- If flag(buildExamples)- Build-Depends:- set-cover,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Soma.hs--Executable queen8- If flag(buildExamples)- Build-Depends:- set-cover,- containers,- array >=0.1 && <0.6,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Queen8.hs--Executable sudoku-setcover- If flag(buildExamples)- Build-Depends:- set-cover,- haha >=0.3.1 && <0.4,- random >=1.0 && <1.2,- transformers >=0.2 && <0.6,- containers,- array >=0.1 && <0.6,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Sudoku.hs- Other-Modules: Random, Mastermind.Utility--Executable lcube- If flag(buildExamples)- Build-Depends:- set-cover,- pooled-io >=0.0 && <0.1,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: LCube.hs- Other-Modules:- Utility--Executable baumeister- If flag(buildExamples)- Build-Depends:- set-cover,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Baumeister.hs- Other-Modules:- Utility--Executable lonpos-pyramid- If flag(buildExamples)- Build-Depends:- set-cover,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: LonposPyramid.hs- Other-Modules:- Utility--Executable alphametics- If flag(buildExamples)- Build-Depends:- set-cover,- non-empty >=0.2 && <0.4,- transformers >=0.2 && <0.6,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Alphametics.hs--Executable domino- If flag(buildExamples)- Build-Depends:- set-cover,- unicode >=0.0 && <0.1,- containers,- semigroups,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: Domino.hs--Executable nonogram- If flag(buildExamples)- Build-Depends:- set-cover,- non-empty >=0.2 && <0.4,- psqueues,- enummapset,- containers,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall- Hs-Source-Dirs: example- Main-Is: Nonogram.hs- Other-Modules:- Nonogram.Example- Nonogram.Encoding.Combinatoric- Nonogram.Encoding.BlackWhite- Nonogram.Encoding.Plug- Nonogram.Encoding.Naive- Nonogram.Base--Executable mastermind-setcover- If flag(buildExamples)- Build-Depends:- set-cover,- random >=1.0 && <1.2,- transformers >=0.2 && <0.6,- enummapset,- containers,- array >=0.1 && <0.6,- utility-ht,- base- Else- Buildable: False- GHC-Options: -Wall- Hs-Source-Dirs: example- Main-Is: Mastermind.hs- Other-Modules:- Mastermind.Utility- Mastermind.Guess- Mastermind.Distinguish- Mastermind.Example- Random--Executable mastermind-knead- If flag(buildExamples) && flag(llvm)- GHC-Prof-Options: -rtsopts -auto-all- Build-Depends:- set-cover,- haha >=0.3.1 && <0.4,- random >=1.0 && <1.2,- lazyio,- transformers >=0.2 && <0.6,- enummapset,- containers,- array >=0.1 && <0.6,- utility-ht,- base- Else- Buildable: False- Extra-Libraries: stdc++- GHC-Options: -Wall- Hs-Source-Dirs: example- Main-Is: MastermindKnead.hs- Other-Modules:- Mastermind.Utility- Mastermind.Guess- Mastermind.Distinguish- Mastermind.Example- Random--Benchmark mastermind-benchmark- Type: exitcode-stdio-1.0- Build-Depends:- set-cover,- timeit,- QuickCheck >=2.5 && <3.0,- random >=1.0 && <1.2,- transformers >=0.2 && <0.6,- enummapset,- containers,- array >=0.1 && <0.6,- utility-ht,- base- GHC-Options: -Wall- Hs-Source-Dirs: example- Main-Is: Mastermind/Benchmark.hs- Other-Modules:- Mastermind.Test- Mastermind.Guess- Mastermind.Utility--Executable pangram- If flag(buildExamples)- Build-Depends:- set-cover,- containers,- base- Else- Buildable: False- GHC-Options: -Wall- Hs-Source-Dirs: example- Main-Is: Pangram.hs--Executable conway-puzzle- If flag(buildExamples)- Build-Depends:- set-cover,- pooled-io >=0.0 && <0.1,- transformers,- containers,- base- Else- Buildable: False- GHC-Options: -Wall -rtsopts -threaded- Hs-Source-Dirs: example- Main-Is: ConwayPuzzle.hs- Other-Modules:- Utility+Name: set-cover +Version: 0.1.1 +x-revision: 1 +License: BSD3 +License-File: LICENSE +Author: Henning Thielemann, Helmut Podhaisky +Maintainer: Henning Thielemann <haskell@henning-thielemann.de> +Homepage: http://hub.darcs.net/thielema/set-cover/ +Category: Math, Algorithms +Synopsis: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube +Description: + Solver for exact set cover problems. + Included examples: + Sudoku, Nonogram, 8 Queens, Domino tiling, Mastermind, Alphametics, + Soma Cube, Tetris Cube, Cube of L's, + Logika's Baumeister puzzle, Lonpos pyramid, Conway's puzzle. + The generic algorithm allows to choose between + slow but flexible @Set@ from @containers@ package + and fast but cumbersome bitvectors. + . + For getting familiar with the package + I propose to study the Queen8 example along with "Math.SetCover.Exact". + . + The Sudoku and Nonogram examples also demonstrate + how to interpret the set-cover solution in a human-friendly way. + . + Build examples with @cabal install -fbuildExamples@. + . + The package needs only Haskell 98. + There is also an experimental implementation using LLVM and @knead@. + Do not rely on that interface in released packages. +Tested-With: GHC==7.4.2, GHC==7.6.3, GHC==7.8.2 +Cabal-Version: >=1.8 +Build-Type: Simple +Extra-Source-Files: + Changes.md + Makefile + +Flag buildExamples + Description: Build example executables + Default: False + +Flag llvm + Description: Enable efficient signal processing using LLVM + Manual: True + Default: False + +Source-Repository this + Tag: 0.1.1 + Type: darcs + Location: http://hub.darcs.net/thielema/set-cover/ + +Source-Repository head + Type: darcs + Location: http://hub.darcs.net/thielema/set-cover/ + +Library + Build-Depends: + psqueues >=0.2 && <0.3, + enummapset >=0.1 && <0.7, + transformers >=0.2 && <0.6, + array >=0.4 && <0.6, + containers >=0.4 && <0.7, + non-empty >=0.2 && <0.4, + semigroups >=0.1 && <1.0, + utility-ht >=0.0.12 && <0.1, + prelude-compat ==0.*, + base >=4 && <5 + + GHC-Options: -Wall + Hs-Source-Dirs: src + Exposed-Modules: + Math.SetCover.Bit + Math.SetCover.BitSet + Math.SetCover.BitPosition + Math.SetCover.BitPriorityQueue + Math.SetCover.Queue + Math.SetCover.Exact + Math.SetCover.Exact.Priority + Math.SetCover.Exact.UArray + Math.SetCover.Cuboid + Other-Modules: + Math.SetCover.BitMap + Math.SetCover.EnumMap + Math.SetCover.Queue.Set + Math.SetCover.Queue.Map + Math.SetCover.Queue.Bit + Math.SetCover.Queue.BitPriorityQueue + Math.SetCover.Exact.Block + + If flag(llvm) + Build-Depends: + knead >=0.4 && <0.6, + llvm-extra >=0.10 && <0.11, + llvm-tf >=9.2 && <9.3, + tfp >=1.0 && <1.1, + comfort-array >=0.3 && <0.5, + storable-record >=0.0.5 && <0.1, + storable-endian >=0.2.6 && <0.3, + bool8 >=0.0 && <0.1, + lazyio >=0.1 && <0.2 + Exposed-Modules: + Math.SetCover.Exact.Knead + Math.SetCover.Exact.Knead.Vector + Math.SetCover.Exact.Knead.Saturated + Other-Modules: + Math.SetCover.Exact.Knead.Symbolic + +Test-Suite set-cover-test + Type: exitcode-stdio-1.0 + Build-Depends: + set-cover, + transformers >=0.2 && <0.6, + enummapset, + containers, + array >=0.1 && <0.6, + utility-ht, + QuickCheck >=2.5 && <3.0, + base + Main-Is: Test.hs + Hs-Source-Dirs: test, example + If flag(llvm) + Hs-Source-Dirs: test/knead + Else + Hs-Source-Dirs: test/plain + GHC-Options: -Wall + Other-Modules: + Mastermind.Test + Mastermind.Guess + Mastermind.Utility + Test.Knead + Test.Utility + +Executable tetris-cube + If flag(buildExamples) + Build-Depends: + haha >=0.3.1 && <0.4, + pooled-io >=0.0 && <0.1, + set-cover, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: TetrisCube.hs + Other-Modules: + Utility + +Executable soma-cube + If flag(buildExamples) + Build-Depends: + set-cover, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Soma.hs + +Executable queen8 + If flag(buildExamples) + Build-Depends: + set-cover, + containers, + array >=0.1 && <0.6, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Queen8.hs + +Executable sudoku-setcover + If flag(buildExamples) + Build-Depends: + set-cover, + haha >=0.3.1 && <0.4, + random >=1.0 && <1.3, + transformers >=0.2 && <0.6, + containers, + array >=0.1 && <0.6, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Sudoku.hs + Other-Modules: Random, Mastermind.Utility + +Executable lcube + If flag(buildExamples) + Build-Depends: + set-cover, + pooled-io >=0.0 && <0.1, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: LCube.hs + Other-Modules: + Utility + +Executable baumeister + If flag(buildExamples) + Build-Depends: + set-cover, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Baumeister.hs + Other-Modules: + Utility + +Executable lonpos-pyramid + If flag(buildExamples) + Build-Depends: + set-cover, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: LonposPyramid.hs + Other-Modules: + Utility + +Executable alphametics + If flag(buildExamples) + Build-Depends: + set-cover, + non-empty >=0.2 && <0.4, + transformers >=0.2 && <0.6, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Alphametics.hs + +Executable domino + If flag(buildExamples) + Build-Depends: + set-cover, + unicode >=0.0 && <0.1, + containers, + semigroups, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: Domino.hs + +Executable nonogram + If flag(buildExamples) + Build-Depends: + set-cover, + non-empty >=0.2 && <0.4, + psqueues, + enummapset, + containers, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall + Hs-Source-Dirs: example + Main-Is: Nonogram.hs + Other-Modules: + Nonogram.Example + Nonogram.Encoding.Combinatoric + Nonogram.Encoding.BlackWhite + Nonogram.Encoding.Plug + Nonogram.Encoding.Naive + Nonogram.Base + +Executable mastermind-setcover + If flag(buildExamples) + Build-Depends: + set-cover, + random >=1.0 && <1.3, + transformers >=0.2 && <0.6, + enummapset, + containers, + array >=0.1 && <0.6, + utility-ht, + base + Else + Buildable: False + GHC-Options: -Wall + Hs-Source-Dirs: example + Main-Is: Mastermind.hs + Other-Modules: + Mastermind.Utility + Mastermind.Guess + Mastermind.Distinguish + Mastermind.Example + Random + +Executable mastermind-knead + If flag(buildExamples) && flag(llvm) + GHC-Prof-Options: -rtsopts -auto-all + Build-Depends: + set-cover, + haha >=0.3.1 && <0.4, + random >=1.0 && <1.3, + lazyio, + transformers >=0.2 && <0.6, + enummapset, + containers, + array >=0.1 && <0.6, + utility-ht, + base + Else + Buildable: False + Extra-Libraries: stdc++ + GHC-Options: -Wall + Hs-Source-Dirs: example + Main-Is: MastermindKnead.hs + Other-Modules: + Mastermind.Utility + Mastermind.Guess + Mastermind.Distinguish + Mastermind.Example + Random + +Benchmark mastermind-benchmark + Type: exitcode-stdio-1.0 + Build-Depends: + set-cover, + timeit, + QuickCheck >=2.5 && <3.0, + random >=1.0 && <1.3, + transformers >=0.2 && <0.6, + enummapset, + containers, + array >=0.1 && <0.6, + utility-ht, + base + GHC-Options: -Wall + Hs-Source-Dirs: example + Main-Is: Mastermind/Benchmark.hs + Other-Modules: + Mastermind.Test + Mastermind.Guess + Mastermind.Utility + +Executable pangram + If flag(buildExamples) + Build-Depends: + set-cover, + containers, + base + Else + Buildable: False + GHC-Options: -Wall + Hs-Source-Dirs: example + Main-Is: Pangram.hs + +Executable conway-puzzle + If flag(buildExamples) + Build-Depends: + set-cover, + pooled-io >=0.0 && <0.1, + transformers, + containers, + base + Else + Buildable: False + GHC-Options: -Wall -rtsopts -threaded + Hs-Source-Dirs: example + Main-Is: ConwayPuzzle.hs + Other-Modules: + Utility
revision 2
Name: set-cover Version: 0.1.1 -x-revision: 1 +x-revision: 2 License: BSD3 License-File: LICENSE Author: Henning Thielemann, Helmut Podhaisky Library Build-Depends: psqueues >=0.2 && <0.3, - enummapset >=0.1 && <0.7, - transformers >=0.2 && <0.6, + enummapset >=0.1 && <0.8, + transformers >=0.2 && <0.7, array >=0.4 && <0.6, containers >=0.4 && <0.7, non-empty >=0.2 && <0.4, Type: exitcode-stdio-1.0 Build-Depends: set-cover, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, enummapset, containers, array >=0.1 && <0.6, set-cover, haha >=0.3.1 && <0.4, random >=1.0 && <1.3, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, containers, array >=0.1 && <0.6, utility-ht, Build-Depends: set-cover, non-empty >=0.2 && <0.4, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, containers, utility-ht, base Build-Depends: set-cover, random >=1.0 && <1.3, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, enummapset, containers, array >=0.1 && <0.6, haha >=0.3.1 && <0.4, random >=1.0 && <1.3, lazyio, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, enummapset, containers, array >=0.1 && <0.6, timeit, QuickCheck >=2.5 && <3.0, random >=1.0 && <1.3, - transformers >=0.2 && <0.6, + transformers >=0.2 && <0.7, enummapset, containers, array >=0.1 && <0.6,
revision 3
Name: set-cover Version: 0.1.1 -x-revision: 2 +x-revision: 3 License: BSD3 License-File: LICENSE Author: Henning Thielemann, Helmut Podhaisky enummapset >=0.1 && <0.8, transformers >=0.2 && <0.7, array >=0.4 && <0.6, - containers >=0.4 && <0.7, + containers >=0.4 && <0.8, non-empty >=0.2 && <0.4, semigroups >=0.1 && <1.0, utility-ht >=0.0.12 && <0.1,