From: Morgan Deters <mdeters@morgandeters.com>
Date: Thu, 13 Nov 2014 04:26:16 +0000 (-0500)
Subject: Merge pull request #65 from mdeters/bv-ineq-cachefix
X-Git-Tag: cvc5-1.0.0~6501
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=270a5577f9a34c92ee991bff1d047d78a8f6d5ab;p=cvc5.git

Merge pull request #65 from mdeters/bv-ineq-cachefix

Fix BV inequality solver caching, and TNode fix.
---

270a5577f9a34c92ee991bff1d047d78a8f6d5ab