From: Claire Wolf <clifford@clifford.at>
Date: Thu, 23 Apr 2020 09:33:54 +0000 (+0200)
Subject: Merge pull request #1988 from boqwxp/qbfsat
X-Git-Tag: working-ls180~591
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1797c574da8b3e47ca0db56587e5888cf67ab24c;p=yosys.git

Merge pull request #1988 from boqwxp/qbfsat

qbfsat: Add `-assume-negative-polarity` option.
---

1797c574da8b3e47ca0db56587e5888cf67ab24c