terraria z3

Algoritmo de felicidad de Terraria NPC

Este algoritmo está diseñado para ser un solucionador de restricciones personalizable para calcular varias permutaciones de la felicidad de los NPC en el videojuego Terraria. Para obtener más información, consulte Terraria Wiki.

El algoritmo hace las siguientes suposiciones de forma predeterminada:

1. Cada bioma contiene como máximo 4 NPC
2. Cada NPC está cerca como máximo de otros 2 NPC
3. Cada bioma contiene un NPC que vende un pilón.
4. Dos NPC que estén cerca uno del otro deben estar en el mismo bioma.
5. La cercanía de los NPC es transitiva
6. Quieres que el Goblin Tinkerer sea lo más barato posible
7. Después de optimizar Goblin Tinkerer, también querrás que el recaudador de impuestos y el pescador den la mayor cantidad de dinero posible.
8. Todos los demás NPC deberían estar lo más felices posible.

Cada una de estas suposiciones se puede modificar modificando el guión. Busque líneas que digan o.add para ver las restricciones individuales que se están colocando en el solucionador.

Ejecutando el guión

Debería poder ejecutarlo en cualquier distribución de Linux estándar (incluido el subsistema de Windows para Linux) instalando Python 3 y la interfaz Z3 Python 3, y ejecutando python3 terraria.py en la raíz del repositorio. Los resultados del algoritmo de optimización se imprimen en la consola.

Para instalar estas dependencias en Ubuntu 20.04, puede ejecutar:

 sudo apt-get update
sudo apt-get install python3 z3 python3-z3

Probablemente sea posible instalarlo mediante Z3 para Windows y Python para Windows, pero no lo he probado.