Merge pull request #2018 from boqwxp/qbfsat-timeout
authorclairexen <claire@symbioticeda.com>
Sat, 30 May 2020 13:04:51 +0000 (15:04 +0200)
committerGitHub <noreply@github.com>
Sat, 30 May 2020 13:04:51 +0000 (15:04 +0200)
commitea46ed81f94547b1facf3b6e4b0866084ec3a072
tree62802ed1718e0cae69037a9dae9c99f7604d001d
parent0a14e1e837ad0aeae6944a9eafe1a14b79c12cb3
parentea30465107a148454f19226e44b242de73d200dd
Merge pull request #2018 from boqwxp/qbfsat-timeout

smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, and CVC4.