CVC4/CVC4 — pull request #58 by mdeters (2014-10-12 04:47:56+00:00)
Title: Context-dependent expr attributes are now attached to a specific SmtEngi...

...ne, and the SAT context is owned by the SmtEngine.