CVC4/CVC4 — pull request #66 by mdeters (2014-11-12 22:12:39+00:00)
Title: Resource-limiting work.

Signed-off-by: Morgan Deters