From: clairexen Date: Fri, 29 May 2020 14:21:45 +0000 (+0200) Subject: Merge pull request #2016 from boqwxp/qbfsat-yices X-Git-Tag: working-ls180~524 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1c8d5a08a03a72d340be5b74644db8853225db09;p=yosys.git Merge pull request #2016 from boqwxp/qbfsat-yices qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices the default. --- 1c8d5a08a03a72d340be5b74644db8853225db09