Unwordle SAT Solver

CISC/CMPE 204 第 14 组建模项目

该项目的目标是对 Wordle 游戏的演绎进行建模。 Wordle 是一款猜词游戏，选择正确的 5 个字母单词，并对每个玩家的猜测给出反馈。绿色瓷砖代表位于正确位置的字母，黄色瓷砖代表位于错误位置的字母，白色或灰色瓷砖代表不在最终单词中的字母。玩家的猜测也必须是有效的单词。

我们的模型被赋予了棋盘配置（棋盘中每个位置的二维数组颜色）以及最终的单词，并且任务是找到所有可能的解决方案，同时显示一种可能性。板配置和最终字可以是随机选择的，也可以由用户输入。

结构

• documents ：包含草稿和最终提交的文件夹。 README.md 文件都包含在两者中。
• run.py ：项目的主要驱动程序。
• words.py ：SAT 求解器给出的可能单词列表。
• boards.py ：如果用户决定随机选择一个可能的板的列表。

团队

麦迪逊·麦克尼尔
西蒙·奈尔
瑞安·范·德鲁南