terraria z3

Алгоритм счастья Terraria NPC

Этот алгоритм предназначен для настраиваемого решателя ограничений для расчета различных вариантов счастья NPC в видеоигре Terraria. Для получения дополнительной информации посетите Terraria Wiki.

По умолчанию алгоритм делает следующие предположения:

1. Каждый биом содержит не более 4 NPC.
2. Каждый NPC находится рядом не более чем с двумя другими NPC.
3. В каждом биоме есть NPC, который продает пилон.
4. Два NPC, находящиеся рядом друг с другом, должны находиться в одном биоме.
5. Близость NPC является переходной
6. Вы хотите, чтобы Гоблин-Тинкерер стоил как можно дешевле.
7. После оптимизации Гоблина-ремесленника вы также хотите, чтобы Сборщик налогов и Рыболов давали как можно больше денег.
8. Все остальные NPC должны быть максимально счастливы.

Каждое из этих предположений можно изменить, изменив сценарий. Найдите строки с надписью 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, но я не пробовал.