From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 18 Jan 2017 19:32:55 +0000 (-0600)
Subject: Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
X-Git-Tag: cvc5-1.0.0~5913
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf29fe25fa902c23e440c02abe945f8441c60ec8;p=cvc5.git

Merge pull request #128 from 4tXJ7f/fix_lfsc_perf

[LFSC] Fix performance issues, more determinism
---

cf29fe25fa902c23e440c02abe945f8441c60ec8