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.
Cleanup
Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti for the report.
Initial draft of CEGQI.
Merge remote-tracking branch 'origin/1.4.x'
Some defensive programming at destruction time, and fix a latent dangling pointer bug.
Merge branch '1.4.x'
Refactor model builder from model engine to quant engine.  Work on fairness strategy for CEGQI.  Add option for single/multi triggers.  Minor cleanup.
Model building into quantifiers engine.  Simplify axiom-inst mode.
CEGQI uses model.  Enforce fairness in CEGQI natively.
trace decision-node
amend prvs commit
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
Merge pull request #58 from mdeters/smt-attributes

Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
fix for memory leak in BVQuickCheck