sbv-7.0: SBVTestSuite/GoldFiles/dogCatMouse.gold
Solution #1: dog = 3 :: Integer cat = 41 :: Integer mouse = 56 :: Integer This is the only solution.
Solution #1: dog = 3 :: Integer cat = 41 :: Integer mouse = 56 :: Integer This is the only solution.