From: clairexen <claire@symbioticeda.com>
Date: Fri, 29 May 2020 14:23:10 +0000 (+0200)
Subject: Merge pull request #2017 from boqwxp/qbfsat-cvc4
X-Git-Tag: working-ls180~523
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5874a14d659068acbf04aa381a782ea8c0a5adce;p=yosys.git

Merge pull request #2017 from boqwxp/qbfsat-cvc4

qbfsat: Add support for CVC4.
---

5874a14d659068acbf04aa381a782ea8c0a5adce