Unwordle SAT Solver
1.0.0
Das Ziel dieses Projekts ist es, eine Version des Spiels Wordle zu modellieren. Wordle ist ein Wortratespiel, bei dem ein richtiges Wort mit fünf Buchstaben ausgewählt wird und zu jedem Tipp des Spielers Feedback gegeben wird. Grüne Kacheln stellen einen Buchstaben an der richtigen Stelle dar, gelbe Kacheln stellen einen Buchstaben an der falschen Stelle dar und weiße oder graue Kacheln stellen einen Buchstaben dar, der nicht im letzten Wort steht. Die Vermutungen des Spielers müssen ebenfalls ein gültiges Wort sein.
Unser Modell erhält eine Platinenkonfiguration – die Farben jeder Position auf der Platine in einer 2D-Anordnung – sowie ein Schlusswort und hat die Aufgabe, alle möglichen Lösungen zu finden und gleichzeitig eine Möglichkeit anzuzeigen. Die Platinenkonfiguration und das Schlusswort können entweder zufällig ausgewählt oder vom Benutzer eingegeben werden.
documents : Enthält Ordner für Ihre Entwürfe und endgültigen Einreichungen. README.md-Dateien sind in beiden enthalten.run.py : Der Haupttreiber für das Projekt.words.py : Eine Liste möglicher Wörter, die dem SAT-Löser bereitgestellt werden.boards.py : Eine Liste möglicher Boards, wenn der Benutzer sich dafür entscheidet, eines zufällig auszuwählen. Madison MacNeil
Simon Nair
Ryan Van Drunen
