From: Kshitij Bansal Date: Wed, 3 Dec 2014 17:09:14 +0000 (-0500) Subject: Merge branch 'master' of https://github.com/CVC4/CVC4 X-Git-Tag: cvc5-1.0.0~6478 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2121eaac7e63875f1e6ba53076535d25fd561c04;p=cvc5.git Merge branch 'master' of https://github.com/CVC4/CVC4 --- 2121eaac7e63875f1e6ba53076535d25fd561c04