CVC4/CVC4 — pull request #41 by mdeters (2014-06-24 05:45:58+00:00)
Title: Merge from Tianyi

Tianyi, please review this commit for accuracy. This is a merge from your master.