Unwordle SAT Solver
1.0.0
このプロジェクトの目標は、ゲーム Wordle の表現をモデル化することです。 Wordle は、正しい 5 文字の単語が選択され、各プレイヤーの推測に対してフィードバックが与えられる単語推測ゲームです。緑色のタイルは正しい位置にある文字を表し、黄色のタイルは間違った位置にある文字を表し、白または灰色のタイルは最後の単語に含まれていない文字を表します。プレイヤーの推測も有効な言葉でなければなりません。
私たちのモデルには、ボードの構成 (2D 配列でのボード内の各位置の色) と最終的な単語が与えられ、1 つの可能性を表示しながら、考えられるすべての解決策を見つけることが求められます。ボードの構成と最後の単語は、ランダムに選択することも、ユーザーが入力することもできます。
documents : 下書きと最終提出の両方のフォルダーが含まれます。 README.md ファイルは両方に含まれています。run.py : プロジェクトのメインドライバー。words.py : SAT ソルバーに与えられる可能性のある単語のリスト。boards.py : ユーザーがランダムにボードを選択することにした場合に使用できるボードのリスト。 マディソン・マクニール
サイモン・ネール
ライアン・ヴァン・ドルーネン
