From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 9 Jun 2014 17:32:51 +0000 (-0400)
Subject: Merge pull request #29 from kbansal/alternatefix
X-Git-Tag: cvc5-1.0.0~6847
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2f91c1242015aaf74286fe45987afaaea5a6806;p=cvc5.git

Merge pull request #29 from kbansal/alternatefix

Fix for emptyset in smt2 parser, sets translator to quantified logic, misc
---

e2f91c1242015aaf74286fe45987afaaea5a6806