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 /backends/intersynth | |
| 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 'backends/intersynth')
0 files changed, 0 insertions, 0 deletions