一、AllDifferent

1. AllDifferent 的应用

2. AllDifferent 的可行性测试

3. AllDifferent 的剪枝

二、数独

image.png

image.png