Fix a resource limiting issue where interruption didn't occur promptly.  Thanks Johannes Kanig for the report.
Fix unit test that was broken with last commit.
define-const is an extended command, not permitted in strict mode.
Refactor quantifiers attributes.
sets stronger equality propagator
add couple of stats
Cache for getInstance, thanks to Johannes Kanig for the report.  Do not mkRep for multi triggers.
whitespace fixes
update default Sets options
Merge remote-tracking branch 'upstream/master' into sets-mergable
Fix portoflio issues (debugging code was being called even when tag was off)
Remove private header from public driver.
Some minor cleanup.
Add unsat cores support to CVC native language.
Merge branch '1.4.x'
Refactor quantifier prenex option.  By default, do not pull quantifiers with user patterns.
Add owner map to better manage QuantifiersModules.  Initial infrastructure for cegqi.
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
Basic --check-unsat-core functionality.
a few things to start to support a public-facing getModel() function