Unwordle SAT Solver

CISC/CMPE 204 Проект моделирования группы 14

Цель этого проекта — смоделировать версию игры Wordle. Wordle — это игра в угадывание слов, в которой выбирается правильное слово из 5 букв, и по каждому угадыванию игрока дается обратная связь. Зеленые плитки представляют букву в правильном месте, желтые плитки представляют букву в неправильном месте, а белые или серые плитки представляют букву, отсутствующую в последнем слове. Догадки игрока также должны быть действительным словом.

Нашей модели дана конфигурация доски — цвета каждой позиции на доске в двумерном массиве — а также последнее слово, и ей поручено найти все возможные решения, отображая при этом одну возможность. Конфигурация платы и последнее слово могут быть выбраны случайным образом или введены пользователем.

Структура

• documents : Содержит папки для черновых и окончательных материалов. Файлы README.md включены в оба.
• run.py : основной драйвер проекта.
• words.py : список возможных слов, который предоставляется решателю SAT.
• boards.py : список возможных досок, если пользователь решит выбрать одну из них случайным образом.

Команда

Мэдисон МакНил
Саймон Наир
Райан Ван Друнен