Unwordle SAT Solver

CISC/CMPE 204 그룹 14 모델링 프로젝트

이 프로젝트의 목표는 Wordle 게임의 표현을 모델링하는 것입니다. Wordle은 올바른 5글자 단어를 선택하고 각 플레이어의 추측에 대해 피드백을 제공하는 단어 추측 게임입니다. 녹색 타일은 올바른 위치에 있는 문자를 나타내고, 노란색 타일은 잘못된 위치에 있는 문자를 나타내며, 흰색 또는 회색 타일은 마지막 단어에 없는 문자를 나타냅니다. 플레이어의 추측도 유효한 단어여야 합니다.

우리 모델에는 보드 구성(2D 배열의 보드 내 각 위치의 색상)과 최종 단어가 제공되며, 하나의 가능성을 표시하면서 가능한 모든 솔루션을 찾는 임무를 맡습니다. 보드 구성과 최종 단어는 임의로 선택하거나 사용자가 입력할 수 있습니다.

구조

• documents : 초안 및 최종 제출물을 위한 폴더가 포함되어 있습니다. README.md 파일은 두 가지 모두에 포함되어 있습니다.
• run.py : 프로젝트의 주요 드라이버입니다.
• words.py : SAT 솔버가 제공할 수 있는 단어 목록입니다.
• boards.py : 사용자가 무작위로 선택하기로 결정한 경우 가능한 보드 목록입니다.

팀

매디슨 맥닐
사이먼 나이어
라이언 반 드루넨