CVC4/CVC4 — pull request #22 by kbansal (2014-03-20 23:42:18+00:00)
Title: Sets model

Mostly related to generation of models for theory sets, but also fixes for other bugs discovered.