Puzzleを数理最適化

Puzzleを数理最適化で解く 一番のメリットは、簡単ということだ。問題を定義さえすれば、汎用ソルバーが使えるから。 もう1つのメリットは、解がユニークだということを簡単に確認できることだろう。
一例を示そう。
http://nbviewer.ipython.org/gist/Tsutomu-KKE/33d43ab18ddc57d364bb

要は一度解いて出てきた解を禁止する制約を追加してもう一度解けばよい。 解がなければユニークだ。