From: clairexen Date: Tue, 21 Jul 2020 12:43:33 +0000 (+0200) Subject: Merge pull request #2215 from boqwxp/qbfsat-solver-options X-Git-Tag: working-ls180~368 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=57af8499dfc3c35d7327107ad30c1124c646fefd;p=yosys.git Merge pull request #2215 from boqwxp/qbfsat-solver-options qbfsat, smt2, smtio: Add `-solver-option` to allow specifying SMT-LIBv2 `(set-option ...)` commands --- 57af8499dfc3c35d7327107ad30c1124c646fefd