Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
authorclairexen <claire@symbioticeda.com>
Wed, 1 Jul 2020 14:34:32 +0000 (16:34 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Jul 2020 14:34:32 +0000 (16:34 +0200)
commit2b0f6e24e24770b6bab2180bb2c6cc560eb8ec5a
tree9aec55587e38b3e525e9a718cc74e9dfc058bc21
parent9d658a19708b99288bed2d8c8da3a2fe987a21b3
parentf544a2cc84f8ec20ad1d86208788bdd8cebcc284
Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization

qbfsat: Fix name-based hole specialization