Unwordle SAT Solver
1.0.0
เป้าหมายของโปรเจ็กต์นี้คือการสร้างแบบจำลองของเกม Wordle Wordle เป็นเกมทายคำศัพท์ที่เลือกคำที่มีตัวอักษร 5 ตัวให้ถูกต้อง และจะให้ข้อเสนอแนะแก่ผู้เล่นแต่ละคนในการเดา แผ่นสีเขียวแสดงถึงตัวอักษรในตำแหน่งที่ถูกต้อง แผ่นสีเหลืองแสดงถึงตัวอักษรที่อยู่ผิดจุด และแผ่นสีขาวหรือสีเทาแสดงถึงตัวอักษรที่ไม่ได้อยู่ในคำสุดท้าย การเดาของผู้เล่นต้องเป็นคำที่ถูกต้องด้วย
แบบจำลองของเราได้รับการกำหนดโครงร่างบอร์ด - สีของแต่ละตำแหน่งในบอร์ดในอาร์เรย์ 2 มิติ - เช่นเดียวกับคำสุดท้าย และได้รับมอบหมายให้ค้นหาวิธีแก้ปัญหาที่เป็นไปได้ทั้งหมด ในขณะที่แสดงความเป็นไปได้อย่างหนึ่ง การกำหนดค่าบอร์ดและคำสุดท้ายสามารถเลือกได้โดยการสุ่มหรือป้อนโดยผู้ใช้
documents : ประกอบด้วยโฟลเดอร์สำหรับทั้งการส่งแบบร่างและการส่งขั้นสุดท้าย ไฟล์ README.md จะรวมอยู่ในทั้งสองไฟล์run.py : ไดรเวอร์หลักสำหรับโปรเจ็กต์words.py : รายการคำที่เป็นไปได้ที่ตัวแก้ SAT มอบให้boards.py : รายการบอร์ดที่เป็นไปได้หากผู้ใช้ตัดสินใจว่าจะสุ่มเลือกบอร์ดหนึ่งอัน เมดิสัน แม็กนีล
ไซมอน แนร์
ไรอัน ฟาน ดรูเนน
