Unwordle SAT Solver
1.0.0
O objetivo deste projeto é modelar uma versão do jogo Wordle. Wordle é um jogo de adivinhação de palavras onde uma palavra correta de 5 letras é escolhida e o feedback é dado sobre cada palpite do jogador. Os ladrilhos verdes representam uma letra no lugar certo, os ladrilhos amarelos representam uma letra no lugar errado e os ladrilhos brancos ou cinza representam uma letra que não está na palavra final. As suposições do jogador também devem ser uma palavra válida.
Nosso modelo recebe uma configuração do tabuleiro - as cores de cada posição do tabuleiro em um array 2D - bem como uma palavra final, e tem a tarefa de encontrar todas as soluções possíveis, ao mesmo tempo que exibe uma possibilidade. A configuração do tabuleiro e a palavra final podem ser selecionadas aleatoriamente ou inseridas pelo usuário.
documents : contém pastas para seus rascunhos e envios finais. Os arquivos README.md estão incluídos em ambos.run.py : O driver principal do projeto.words.py : uma lista de palavras possíveis fornecidas pelo solucionador SAT.boards.py : Uma lista de painéis possíveis se o usuário decidir escolher um aleatoriamente. Madison MacNeil
Simão Nair
Ryan Van Drunen
