如何检查python中定义的约束?

Question

是否有任何方法来检查模型并查看已定义的约束?

例如，https://github.com/google/or-tools/blob/stable/examples/python/sudoku_sat.py定义了以下内容:

# AllDifferent on rows.
for i in line:
model.AddAllDifferent(grid[(i, j)] for j in line)

是否会在model中创建一个可观察实体?(例如，实体约束的数量)?

Answer 1

可以扫描底层的cp_model protobuf。

看到model.Proto ()