sbv-1.4: SBVUnitTest/GoldFiles/dogCatMouse.gold
Solution #1: dog = 3 :: SInteger cat = 41 :: SInteger mouse = 56 :: SInteger This is the only solution.
Solution #1: dog = 3 :: SInteger cat = 41 :: SInteger mouse = 56 :: SInteger This is the only solution.