Pythonで数独。 定式化して解くのに、入出力合わせて15行だ。 from pulp import * m = LpProblem() v = [[[LpVariable('v%d%d%d' % (i, j, k), cat = LpBinary) for k in range(9)] for j in range(9)] for i in range(9)] with open('pulp-sudoku.txt') as …