From: PaulMeng <baolmeng@gmail.com>
Date: Wed, 16 Nov 2016 19:22:02 +0000 (-0600)
Subject: Merge pull request #109 from PaulMeng/master
X-Git-Tag: cvc5-1.0.0~5976
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d461df22bbe6366225600b5b30dc95b7cc8c3ceb;p=cvc5.git

Merge pull request #109 from PaulMeng/master

relational solver code refactor and bug fixes
---

d461df22bbe6366225600b5b30dc95b7cc8c3ceb