Merge pull request #1988 from boqwxp/qbfsat
authorClaire Wolf <clifford@clifford.at>
Thu, 23 Apr 2020 09:33:54 +0000 (11:33 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Apr 2020 09:33:54 +0000 (11:33 +0200)
commit1797c574da8b3e47ca0db56587e5888cf67ab24c
treedd9323ad4c8e83ddb0bd778002f255267a6354e6
parentca31027fe1eb5f3881005954b1cc9c8f7497042a
parent7369e6b26b35584053c7e2672e22a70d72caff3d
Merge pull request #1988 from boqwxp/qbfsat

qbfsat: Add `-assume-negative-polarity` option.