\myheading{Zebra puzzle (\ac{AKA} Einstein puzzle)}

\leveldown{}

\input{puzzles/zebra/SMT/main_EN}
\input{puzzles/zebra/KLEE/main_EN}
\input{puzzles/zebra/CBMC/main_EN}
\input{puzzles/zebra/SAT/main_EN}

\levelup{}