実用上は問題ないと思いますが、 m.solve() が2度評価されております。 ortoolpy 0.1.54 の sudoku 関数を見ていて気になりました。