From: Liana Hadarean <lianahady@gmail.com>
Date: Wed, 20 Mar 2013 02:09:55 +0000 (-0400)
Subject: merged master with dejan's constant evaluating equality engine
X-Git-Tag: cvc5-1.0.0~7361^2~36
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c30b3e2c03f9c3df51eb8d2e7cb6c72907cb77c0;p=cvc5.git

merged master with dejan's constant evaluating equality engine
---

c30b3e2c03f9c3df51eb8d2e7cb6c72907cb77c0