CVC4/CVC4 — pull request #45 by mdeters (2014-06-25 20:37:19+00:00)
Title: Turn strings-exp off by default (for the release)

Andy and Tianyi, please have a look. I disabled strings-exp by default. But then I noticed that in SmtEngine::setDefaults() the strings stuff occurred twice. So I removed the later block, which was a near-repeat copy except for turning on fmfBoundIntLazy---and I copied that to the former block.

All look good?