Login
From:
Lucas DiCioccio's Blog
(Uncensored)
subscribe
Solving the Snake Cube puzzle
https://dicioccio.fr/snake-cube.html
links
backlinks
Roast topics
Find topics
Find it!
We solve a simple wooden puzzle with MiniZinc. The Snake-Cube puzzle is a good introductory problem and thus a number of formal modeling techniques are explained. We also touch advanced topic like symmetries and discuss a bit our modeling choices.
