Data.SBV.Examples.Puzzles.Coins

type Coin

mkCoin

combinations

c1

c2

c3

c4

c5

c6

puzzle