魚拓のURL：https://megalodon.jp/2016-1231-2115-48/stackoverflow.com/questions/41336829/optimize-sat-constraints-of-puzzle-from-dnf

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。