Un agente resolutor de instancias del puzzle IcoSoKu realizado en Python con la suite de OR-Tools con un modelo CP-SAT. Este proyecto fue desarrollado para la asignatura de Inteligencia Artificial del Departamento de Ingeniería en Computación e Informática de la Universidad de Tarapacá en conjunto a los integrantes del curso.
Para la creación de este proyecto se utilizó como referencia el proyecto nrizzo/3coSoKu, además de una modificación de su visor 3D del icoSoku para ver las soluciones entregadas por el resolutor desarrollado.
Para el usó de este repositorio se requiere del siguiente software:
- Python 3.6^
- Python package manager PIP
- Navegador web
Siga las siguientes instrucciones para ejecutar el proyecto.
- Clonar el repositorio:
$ git clone https://github.com/PAraya98/IcoSoku_solver_OR-Tools_CP-SAT.git
- Instalar las dependencias:
$ pip install flask-cors ortools numpy
- Ejecutar el Script de Python
IcoSokuSolver(API+Solver).pyque se encuentra en la raíz del repositorio.
$ python IcoSokuSolver(API+Solver).py
- Abrir el
.htmldel vizualizador 3D en su navegador web de preferencia./IcoSoku_Solver (OR-Tools)/3coSoku viewer/index.html.