基于约束的数独求解器。使用测试和生成示例运行

输入：

Unsolved sudoku (Board1):

[[0, 6, 0, 1, 0, 4, 0, 5, 0],

[0, 8, 3, 0, 5, 6, 0],

[2, 0, 1],

[8, 0, 4, 0, 7, 0, 6],

[0, 6, 0, 3, 0],

[7, 0, 9, 0, 1, 0, 4],

[5, 0, 2],

[0, 7, 2, 0, 6]