Merge pull request #2208 from boqwxp/qbfsat-cleanup
authorclairexen <claire@symbioticeda.com>
Thu, 2 Jul 2020 15:48:37 +0000 (17:48 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 15:48:37 +0000 (17:48 +0200)
commite4b9e64d1b356b690140dd41d836bc4d5c368234
tree0e9df1960bed02188e379f2c83a341b543c6473e
parent5428666151be2010a7f5aa3d588dc88306dde354
parent56f98b9e3d9489503b11e3a406bc3a81c6feb62c
Merge pull request #2208 from boqwxp/qbfsat-cleanup

qbfsat: Cleanup and refactoring