From: clairexen Date: Mon, 25 May 2020 13:50:18 +0000 (+0200) Subject: Merge pull request #2015 from boqwxp/qbfsat-bisection X-Git-Tag: working-ls180~539 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae11156c90eec958cd9ab631a28c41eccc105e56;p=yosys.git Merge pull request #2015 from boqwxp/qbfsat-bisection qbfsat: Add an iterative bisection optimization method and make it the default. --- ae11156c90eec958cd9ab631a28c41eccc105e56