From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 9 Apr 2014 22:07:32 +0000 (-0400)
Subject: Merge pull request #24 from kbansal/sets-model
X-Git-Tag: cvc5-1.0.0~6977
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=70de726f5a1bdc9a4836fd13a81a21af81b5058d;p=cvc5.git

Merge pull request #24 from kbansal/sets-model

sets, misc
---

70de726f5a1bdc9a4836fd13a81a21af81b5058d