Merge pull request #2016 from boqwxp/qbfsat-yices
authorclairexen <claire@symbioticeda.com>
Fri, 29 May 2020 14:21:45 +0000 (16:21 +0200)
committerGitHub <noreply@github.com>
Fri, 29 May 2020 14:21:45 +0000 (16:21 +0200)
commit1c8d5a08a03a72d340be5b74644db8853225db09
treed01984e1556b3d8fceb07b99dd1d3d83a111eb4e
parent626c74adbdc25c84382d790f8be69713dd57021a
parent54570a39780f750aa7bfd616f12c58bcf121bbdf
Merge pull request #2016 from boqwxp/qbfsat-yices

qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices the default.