数独ソルバ25x25数独は、変数数、式数で以下の通りとなりました。154556これぐらいだと、ナーススケジューリング問題の典型的な規模になります。sec/1解/Thread/となりましたがブランクの数独を連続的に解くスピードは、世界最高の可能性があります。シフトを25個定義しています。解を10個出力しています。﻿﻿Excelに解を貼り付けてソルバを検証しています。(Atom)自己紹介スケジュールナーススケジュールナースという勤務表自動作成ソフトを開発・販売しています。本ブログでは、ユーザ様の要求仕様を「制約プログラム」に変換していく様子をメインに紹介していきたいと思います。