Unwordle SAT Solver

CISC/CMPE 204 第 14 組建模項目

該專案的目標是對 Wordle 遊戲的演繹進行建模。 Wordle 是一款猜詞遊戲，選擇正確的 5 個字母單字，並對每個玩家的猜測給予回饋。綠色瓷磚代表位於正確位置的字母，黃色瓷磚代表位於錯誤位置的字母，白色或灰色瓷磚代表不在最終單字中的字母。玩家的猜測也必須是有效的單字。

我們的模型被賦予了棋盤配置（棋盤中每個位置的二維數組顏色）以及最終的單詞，並且任務是找到所有可能的解決方案，同時顯示一種可能性。板配置和最終字可以是隨機選擇的，也可以由使用者輸入。

結構

• documents ：包含草稿和最終提交的資料夾。 README.md 檔案都包含在兩者中。
• run.py ：專案的主要驅動程式。
• words.py ：SAT 解算器給出的可能單字清單。
• boards.py ：如果使用者決定隨機選擇一個可能的板的清單。

團隊

麥迪遜·麥克尼爾
西蒙·奈爾
瑞安·範·德魯南