生成したあと詰みルーチンに解かせて解く時間測って、
詰みルーチンが解く時間を難易度とするのはだめかなぁ？
ジャストな難易度のものができるまで生成→回答を自動で繰り返すことにはなるけど。