تم تصميم هذه الخوارزمية لتكون أداة حل قيود قابلة للتخصيص لحساب التباديل المختلفة لسعادة الشخصيات غير القابلة للعب في لعبة الفيديو Terraria. لمزيد من المعلومات، راجع ويكي تيراريا.
تقوم الخوارزمية بوضع الافتراضات التالية بشكل افتراضي:
يمكن تعديل كل من هذه الافتراضات عن طريق تعديل البرنامج النصي. ابحث عن الأسطر التي تقول 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، لكنني لم أجربه.