diff options
author | clairexen <claire@symbioticeda.com> | 2020-07-21 14:43:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-21 14:43:33 +0200 |
commit | 57af8499dfc3c35d7327107ad30c1124c646fefd (patch) | |
tree | a607d91aff5aeaea54c51fa813f75a3030a3fee8 /techlibs | |
parent | 856d40973dce06e13fcded3388562341d82c092d (diff) | |
parent | 42fb75c57092714fce0394817154cdd5d63e9d2b (diff) | |
download | yosys-57af8499dfc3c35d7327107ad30c1124c646fefd.tar.gz yosys-57af8499dfc3c35d7327107ad30c1124c646fefd.tar.bz2 yosys-57af8499dfc3c35d7327107ad30c1124c646fefd.zip |
Merge pull request #2215 from boqwxp/qbfsat-solver-options
qbfsat, smt2, smtio: Add `-solver-option` to allow specifying SMT-LIBv2 `(set-option ...)` commands
Diffstat (limited to 'techlibs')
0 files changed, 0 insertions, 0 deletions