IcoSoKu visualisation tool and solver by Nicola Rizzo and Agostino Dovier
IcoSoKu is a mechanical puzzle about arranging some triangular tiles, from the fixed set of 20 tiles shipping with the game, on the faces of an icosahedron in order to match the numbers on the vertices of the icosahedron, defined by the current instance of the game. Each instance is an arrangement of the numbers from 1 to 12 on the vertice. Click the "Solve!" button to see a solved instance!
This tool was developed at the CLP Lab of the University of Udine (Italy) and at the School for Advanced Studies of the University of Udine, using cool technologies: Three.js, clingo-wasm (clingo compiled to WebAssembly with emscripten), and others.
Visit github.com/nrizzo/3coSoKu to get the source and for more info on IcoSoKu, its strongly NP-complete generalisation 3coSoKu and the solvers we developed.