「システム検証基礎演習」の課題で、SATソルバーを使って数独の解答を出力せよというものがあったのでそのレポートを載せてみます。どう考えても以下のページの解説の方がわかりやすいし実装もスマートだと思うけれど。http://d.hatena.ne.jp/ku-ma-me/20080…