在 Python 科学计算第二版中有使用 PiCoSAT 解数独游戏和扫雷游戏的例子。最近又添加了一个解数织游戏的例子。
http://nbviewer.jupyter.org/github/ruoyu0088/cooknotebook/tree/master/notebooks/puzzle/
该程序能在数十秒之内解 http://www.nonograms.org/ 中 Large 的谜题。例如下面这个：
推荐学习书目
› Learn Python the Hard Way
Python Sites
› PyPI - Python Package Index
› http://diveintopython.org/toc/index.html
› Pocoo
值得关注的项目
› PyPy
› Celery
› Jinja2
› Read the Docs
› gevent
› pyenv
› virtualenv
› Stackless Python
› Beautiful Soup
› 结巴中文分词
› Green Unicorn
› Sentry
› Shovel
› Pyflakes
› pytest
Python 编程
› pep8 Checker
Styles
› PEP 8
› Google Python Style Guide
› Code Style from The Hitchhiker's Guide
Select Language