\newchapter{Toy-level solvers}

\leveldown{}

... which has been written by me and serves as a demonstration and playground.

\input{solvers/backtrack/main}
\input{solvers/SAT_WL/main}
\input{solvers/MK85/main}

\levelup{}

