CVC4/CVC4 — pull request #52 by kbansal (2014-08-26 14:18:29+00:00)
Title: Theory::check() called only if there are facts to check

Andy/Tim, please review the changes to your theories, and let me know if anything.