在 Python 科学计算第二版中有使用 PiCoSAT 解数独游戏和扫雷游戏的例子。最近又添加了一个解数织游戏的例子。
http://nbviewer.jupyter.org/github/ruoyu0088/cooknotebook/tree/master/notebooks/puzzle/
该程序能在数十秒之内解 http://www.nonograms.org/ 中 Large 的谜题。例如下面这个: