16x16 数独ソルバ

もコーディングしてみました。Version123までは、シフトの数は12まででしたので、16まで拡張する必要があり、GUIとソルバもこれに対応してみました。

シフトの定義です。内部シンボルはA,B,C,,,ラベルは1,2,3...と定義しています。

9x9数独と同様に16x16数独ソルバは、ブランク数独に対して0.2sec/Thread の速度で、別解を出力することができます。この速度に勝る数独専用ソルバはあるでしょうか？


ソルバが出力した解です。10解を出力しています。
 

Excelでソルバの検証、解をExcelに貼り付けて、数独ブロックの和が136になることを確認しています。

内部の変数と式数は、
8014 38709
でした。この規模の数独だと、未だ通常のナーススケジューリング問題の方が数倍規模が大きいです。