\myheading{Tiling puzzle}

\label{tiling}

\leveldown{}

\input{other/tiling/Z3/main}
\input{other/tiling/SAT/main}
\input{other/tiling/kangaroo/main}

\levelup{}