🐛 Print a beautiful millipede
This code is a formal proof that millipede exist.
It can be used to exhaustively search all valid millipedes or prove that some millipedes are impossible.
# find a millipede
$ minizinc millipede.mzn
# find all millipedes
$ minizinc -a millipede.mzn
Marvel at how our millipede dodges obstacles.