数独老师

一个游乐场，用于测试我们的 SMT 的 python 绑定、学习 tkinter、解决数独谜题、尝试提供提示，以及深入研究生成数独谜题的复杂性、测量它们的难度，等等。

该工具处于非常好的状态。玩它。让我知道它还需要什么，或者需要解释什么。

先决条件

你需要一个新的 Python，我非常喜欢并使用新的格式字符串，所以你至少需要 3.6。

该软件被打包为 pip 包，但要成功安装它，您首先 需要安装yices，这可以通过从源代码构建，或在 linux 上使用 apt（来自我们的 PPA）或在 mac 上使用 homebrew README.md 来完成 那里描述了这个过程。

所以你可以做

pip install sudokusensei

或者如果您想破解，请克隆此存储库并执行

make develop

用法

有一个 make 文件将构建和安装包。安装后，您从一个空板开始

sudokusensei

如果您按下选项按钮，您将能够在 数据目录中加载我们的许多预定义板之一，您也可以通过以下方式直接启动其中之一

sudokusensei --board <board base name>

例如：

sudokusensei --board  sofa

将从 Daniel Beer (@dlbeer) 在显示沙发和非沙发搜索之间的难度差异时提到的难题开始，请参阅下面的参考资料。

另一个例子是

sudokusensei --board  hardest

这将从芬兰数学家Arto Inkala 声称的最难的谜题开始，请参见上面的屏幕截图。

一旦你有小狗，你总是可以生成新的谜题。选项选项卡将允许您尝试指定生成的谜题的难度级别。

您甚至可以使用该工具来创建自己的数独谜题，只需从一个空棋盘开始，并利用该Show > # Solutions 功能确保您的谜题有一个独特的解决方案。您可以从选项选项卡中保存它。

钟声和口哨（AKA Freeping Creaturism）

该工具可以做很多事情。我不会编写结构良好的指南，而是仅列出我想到的功能。对不起。

自由度分析：

您可以通过查看谜题的自由度分析Show > Freedom，并摆脱它们 Clear > Freedom。

笔记：

您可以通过简单地输入多个数字来做笔记，输入两次相同的数字将切换该数字的输入或输出。如果你真的很懒，你可以从自由分析开始你的笔记（Show > Freedom Notes）。

致谢

这个项目建立在@econchic 的 Python教程之上， 特此感谢。本教程采用知识共享许可，这似乎不是 GitHub 许可小部件中的一个选项，因此我选择了最接近的一个，如果这是一个问题，请告诉我。

参考

• [1]数独背后的数学。康奈尔数学探索者俱乐部。

• [2]图形用户界面。林恩·根。

• [3]快速生成困难的数独谜题。丹尼尔啤酒。