python CSP数独
python 基于CSP算法编写一个程序（sudoku.py）来解决4*4的数独问题，如下图所示。
变量：a,b,c,d,e,f,g,h
域：{1 2 3 4}
约束条件：
每个较小的方块必须包含1-4：
例如，左上角正方形的约束可以写成
sorted[a,1,4,c] == [1,2,3,4]
（或者，您可以将每个四个元素转换为一个集合，并检查其长度是否为4）
每一行必须包含1-4
每一列必须包含1 - 4
- 关于该问题，我找了一篇非常好的博客，你可以看看是否有帮助，链接：CSP-游戏Python实现
提供参考链接，期望对你有所帮助：
使用Python进行数独求解详解(一)：https://www.jb51.net/article/238078.htm
使用Python进行数独求解详解(二)：https://www.jb51.net/article/238080.htm
【使用回溯算法，实现迭代数字1-9来猜测所填的正确数字，讲解详细，注解到位】
https://www.askpython.com/python/examples/sudoku-solver-in-python
参考人家这个，
CSP不是算法，是约束满足问题（Constraint Satisfaction Problem）。代码可以参考这个：https://blog.csdn.net/xmb24/article/details/78343643