Documentation.SBV.Examples.Puzzles.DogCatMouse

Documentation

puzzle :: IO AllSatResult

Prints the only solution:

>>> puzzle
Solution #1:
  dog   =  3 :: Integer
  cat   = 41 :: Integer
  mouse = 56 :: Integer
This is the only solution.