Factorio Planner és una eina que optimitza layouts de blueprints del joc Factorio. El projecte s'ha fet com a treball de final de grau per la Universitat de Girona. La base de l'optimitzador tracta d'un encoding usant SAT mòdul teories i l'eina Z3. A més l'eina té un front end web que permet generar, resoldre i visualitzar instàncies.
- Clona el projecte
git clone https://github.com/PauJimeno/FactorioPlanner.git- Situa't al directori del projecte
cd FactorioPlanner- Crea un entorn virtual python3
python -m <nom de l'entorn> <directori on es guardarà>- Activa l'entorn virtual En linux:
source <nom del directori de l'entorn>/bin/activate- En Windows (CMD)
<nom del directori de l'entorn>\Scripts\activate.bat- Instal·la els requisits
pip install -r requirements.txt- Executa el servidor i accedeix a la web a partir de l'URL imprès al terminal
python mainWeb.py
Client: JavaScript, HTML i CSS
Server: Python, Z3, Flask
La documentació del codi s'ha fet usant Sphinx i està hostejada amb GitHub pages Documentació