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.
A fast solver for the IcoSoku 3d puzzle in Java
To associate your repository with the icosoku-3d-puzzle topic, visit your repo's landing page and select "manage topics."