From: clairexen Date: Sat, 30 May 2020 13:04:51 +0000 (+0200) Subject: Merge pull request #2018 from boqwxp/qbfsat-timeout X-Git-Tag: working-ls180~519 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea46ed81f94547b1facf3b6e4b0866084ec3a072;p=yosys.git Merge pull request #2018 from boqwxp/qbfsat-timeout smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, and CVC4. --- ea46ed81f94547b1facf3b6e4b0866084ec3a072