อัลกอริทึมนี้ได้รับการออกแบบมาให้เป็นตัวแก้ปัญหาข้อจำกัดที่ปรับแต่งได้สำหรับการคำนวณการเรียงสับเปลี่ยนความสุขของ NPC ในวิดีโอเกม Terraria สำหรับข้อมูลเพิ่มเติม โปรดดูที่ Terraria Wiki
อัลกอริธึมทำให้สมมติฐานต่อไปนี้เป็นค่าเริ่มต้น:
สมมติฐานแต่ละข้อเหล่านี้สามารถปรับแต่งได้โดยการแก้ไขสคริปต์ มองหาบรรทัดที่ระบุว่า o.add
เพื่อดูข้อจำกัดแต่ละรายการที่วางอยู่บนตัวแก้ปัญหา
คุณควรจะสามารถรันบนการกระจาย Linux มาตรฐานใดๆ (รวมถึงระบบย่อย Windows สำหรับ Linux) โดยการติดตั้ง Python 3 และอินเทอร์เฟซ Z3 Python 3 และรัน python3 terraria.py
ในรูทของที่เก็บ ผลลัพธ์ของอัลกอริธึมการปรับให้เหมาะสมที่สุดจะถูกพิมพ์บนคอนโซล
หากต้องการติดตั้งการพึ่งพาเหล่านี้ใน Ubuntu 20.04 คุณสามารถเรียกใช้:
sudo apt-get update
sudo apt-get install python3 z3 python3-z3
อาจเป็นไปได้ที่จะติดตั้งผ่าน Z3 สำหรับ Windows และ Python สำหรับ Windows แต่ฉันยังไม่ได้ลอง