Xmas Contest 2017のI - SAT Puzzleのパズルをz3というSMTソルバを使って解いてみた。 あとでminisatが解釈できるDIMACS CNFを出力するようにして実際にジャッジにも出してみたい。 参考にしたのはここ。 Xmas Contest 2017 I問題 SAT Puzzle 解説 SAT ソル…