From: clairexen Date: Wed, 1 Jul 2020 14:35:27 +0000 (+0200) Subject: Merge pull request #2138 from boqwxp/qbfsat-oflag X-Git-Tag: working-ls180~433 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1707407a0912fe44ecf83f6f8e64b13a1c4daee;p=yosys.git Merge pull request #2138 from boqwxp/qbfsat-oflag qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC --- b1707407a0912fe44ecf83f6f8e64b13a1c4daee