sbv-7.0: SBVTestSuite/GoldFiles/optBasics1.gold

Optimal model:
  x        = 1 :: Integer
  y        = 1 :: Integer
  x_plus_y = 2 :: Integer