From: clairexen <claire@symbioticeda.com>
Date: Thu, 2 Jul 2020 15:48:37 +0000 (+0200)
Subject: Merge pull request #2208 from boqwxp/qbfsat-cleanup
X-Git-Tag: working-ls180~426
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e4b9e64d1b356b690140dd41d836bc4d5c368234;p=yosys.git

Merge pull request #2208 from boqwxp/qbfsat-cleanup

qbfsat: Cleanup and refactoring
---

e4b9e64d1b356b690140dd41d836bc4d5c368234