Merge pull request #2017 from boqwxp/qbfsat-cvc4
authorclairexen <claire@symbioticeda.com>
Fri, 29 May 2020 14:23:10 +0000 (16:23 +0200)
committerGitHub <noreply@github.com>
Fri, 29 May 2020 14:23:10 +0000 (16:23 +0200)
commit5874a14d659068acbf04aa381a782ea8c0a5adce
tree81c5d4cd3d5ec00793395cbeee64c6f8adcca647
parent1c8d5a08a03a72d340be5b74644db8853225db09
parentf9eef5e3f710684c8cfe5430190b5cf4f7c2e34e
Merge pull request #2017 from boqwxp/qbfsat-cvc4

qbfsat: Add support for CVC4.