\myheading{Numberlink}
\label{numberlink}

\leveldown{}

\input{puzzles/numberlink/Z3/main_EN}
\input{puzzles/numberlink/MaxSAT/main_EN}

\levelup{}