Documentation.SBV.Examples.Puzzles.LadyAndTigers

Documentation

ladyAndTigers :: IO AllSatResult

Prints the only solution:

>>> ladyAndTigers
Solution #1:
  sign1  = False :: Bool
  sign2  = False :: Bool
  sign3  =  True :: Bool
  tiger1 = False :: Bool
  tiger2 =  True :: Bool
  tiger3 =  True :: Bool
This is the only solution.

That is, the lady is in room 1, and only the third room's sign is true.