Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for sbv-10.6 source tarball
sbv-10.6/Documentation/SBV/Examples/Puzzles/
AOC_2021_24.hs
Birthday.hs
Coins.hs
Counts.hs
DogCatMouse.hs
Drinker.hs
Euler185.hs
Fish.hs
Garden.hs
HexPuzzle.hs
Jugs.hs
KnightsAndKnaves.hs
LadyAndTigers.hs
MagicSquare.hs
Murder.hs
NQueens.hs
Newspaper.hs
Orangutans.hs
Rabbits.hs
SendMoreMoney.hs
Sudoku.hs
U2Bridge.hs