sbv-7.0: SBVTestSuite/GoldFiles/combined2.gold

Optimal model:
  a      =  True :: Bool
  b      = False :: Bool
  c      =  True :: Bool
  soft_a =  True :: Bool
  soft_b = False :: Bool
  soft_c =  True :: Bool