From: Liana Hadarean <lianahady@gmail.com>
Date: Mon, 7 Oct 2013 20:41:13 +0000 (-0400)
Subject: merged golden
X-Git-Tag: cvc5-1.0.0~7286
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1a56238b7ed75c6127293cb7c52d5b6b85245c64;p=cvc5.git

merged golden
---

1a56238b7ed75c6127293cb7c52d5b6b85245c64