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.