packages feed

sbv-7.0: SBVTestSuite/GoldFiles/squashReals2.gold

Satisfiable. Model:
  s0 = 4.0 :: Real