packages feed

sbv-14.4: SBVTestSuite/GoldFiles/squashReals2.gold

Satisfiable. Model:
  s0 = 4.0 :: Real