更新日時で差をつけろ

もはや更新日時でしか差を付けられない

2018-02-10から1日間の記事一覧

Xmas Contest 2017 I - SAT Puzzle を z3 を使って解いた

CTF

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