terraria z3

Algorithme de bonheur des PNJ Terraria

Cet algorithme est conçu pour être un solveur de contraintes personnalisable permettant de calculer diverses permutations du bonheur des PNJ dans le jeu vidéo Terraria. Pour plus d'informations, consultez le wiki Terraria.

L'algorithme fait les hypothèses suivantes par défaut :

1. Chaque biome contient au maximum 4 PNJ
2. Chaque PNJ est proche d'au plus 2 autres PNJ
3. Chaque biome contient un PNJ qui vend un pylône
4. Deux PNJ proches l'un de l'autre doivent être dans le même biome
5. La proximité des PNJ est transitive
6. Vous voulez que le Goblin Tinkerer soit le moins cher possible
7. Après avoir optimisé le bricoleur gobelin, vous souhaitez également que le percepteur d'impôts et le pêcheur donnent autant d'argent que possible.
8. Tous les autres PNJ devraient être aussi heureux que possible.

Chacune de ces hypothèses peut être modifiée en modifiant le script. Recherchez les lignes indiquant o.add pour voir les contraintes individuelles placées sur le solveur.

Exécuter le script

Vous devriez pouvoir l'exécuter sur n'importe quelle distribution Linux standard (y compris le sous-système Windows pour Linux) en installant Python 3 et l'interface Z3 Python 3, et en exécutant python3 terraria.py à la racine du référentiel. Les résultats de l'algorithme d'optimisation sont imprimés sur la console.

Pour installer ces dépendances dans Ubuntu 20.04, vous pouvez exécuter :

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

Il est probablement possible d'installer via Z3 pour Windows et Python pour Windows, mais je ne l'ai pas essayé.