Merge pull request #2215 from boqwxp/qbfsat-solver-options
authorclairexen <claire@symbioticeda.com>
Tue, 21 Jul 2020 12:43:33 +0000 (14:43 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2020 12:43:33 +0000 (14:43 +0200)
commit57af8499dfc3c35d7327107ad30c1124c646fefd
treea607d91aff5aeaea54c51fa813f75a3030a3fee8
parent856d40973dce06e13fcded3388562341d82c092d
parent42fb75c57092714fce0394817154cdd5d63e9d2b
Merge pull request #2215 from boqwxp/qbfsat-solver-options

qbfsat, smt2, smtio: Add `-solver-option` to allow specifying SMT-LIBv2 `(set-option ...)` commands