MiniZinc and Answer Set Programming encodings for IcoSoKu and its generalization 3coSoKu
-
Updated
Apr 22, 2022 - JavaScript
MiniZinc and Answer Set Programming encodings for IcoSoKu and its generalization 3coSoKu
Un agente resolutor de instancias del puzzle IcoSoku con visualicación 3D web, hecho en Python utilizando OR-Tools con CP-SAT.
Add a description, image, and links to the icosoku topic page so that developers can more easily learn about it.
To associate your repository with the icosoku topic, visit your repo's landing page and select "manage topics."