Unwordle SAT Solver
1.0.0
El objetivo de este proyecto es modelar una interpretación del juego Wordle. Wordle es un juego de adivinanzas de palabras en el que se elige una palabra correcta de 5 letras y se proporciona información sobre cada adivinanza de los jugadores. Los mosaicos verdes representan una letra en el lugar correcto, los mosaicos amarillos representan una letra en el lugar incorrecto y los mosaicos blancos o grises representan una letra que no está en la última palabra. Las conjeturas del jugador también deben ser una palabra válida.
A nuestro modelo se le da una configuración de tablero (los colores de cada posición en el tablero en una matriz 2D) así como una palabra final, y tiene la tarea de encontrar todas las soluciones posibles, mientras muestra una posibilidad. La configuración del tablero y la palabra final pueden ser seleccionadas al azar o ingresadas por el usuario.
documents : contiene carpetas para los borradores y los envíos finales. Los archivos README.md están incluidos en ambos.run.py : el controlador principal del proyecto.words.py : una lista de posibles palabras que se le proporciona al solucionador SAT.boards.py : una lista de posibles tableros si el usuario decide elegir uno al azar. Madison MacNeil
Simón Nair
Ryan Van Drunen
