From: PaulMeng <baolmeng@gmail.com>
Date: Wed, 29 Mar 2017 14:36:29 +0000 (-0500)
Subject: Merge pull request #138 from PaulMeng/master
X-Git-Tag: cvc5-1.0.0~5858
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=599329b76da2e95f18479a19c1bbbc3e3228b100;p=cvc5.git

Merge pull request #138 from PaulMeng/master

Refactor the standard effort of relational solver
---

599329b76da2e95f18479a19c1bbbc3e3228b100