Data.SBV.Examples.Puzzles.DogCatMouse
puzzle