\newchapter{Recreational mathematics and puzzles}

\leveldown{}

\input{puzzles/sudoku/main_EN}
\input{puzzles/zebra/main_EN}
\input{puzzles/pipe/main_EN}
\input{puzzles/8queens/main_EN}
\input{puzzles/rubik2/failed_SMT/main_EN}
\input{puzzles/rubik2/SAT/main_EN}
\input{puzzles/rubik3/one_face_SMT/main_EN}
\input{puzzles/numberlink/main_EN}
\input{puzzles/1959_AHSME_Problems_19_EN}
\input{puzzles/alphametics/main_EN}
\input{puzzles/2015_AIME_II_Problems_12_EN}
\input{puzzles/fred/main_EN}
\input{puzzles/MC/main_EN}
\input{puzzles/Mock_AIME_2_2006-2007_Problem_8_EN}
\input{puzzles/2012_AIME_I_Problems_1_EN}
\input{puzzles/keypad_EN}
\input{puzzles/cross/main}
\input{puzzles/missing_op/main}
\input{puzzles/nonogram/main}
\input{puzzles/feed_the_kids/main}
\input{puzzles/pour}

\myheading{Something else}

\href{https://github.com/hugomg/hexiom}{SAT-based solver for the Hexiom logic puzzle}

\href{https://github.com/cgravill/FSharpSMTExamples}{Couple puzzles in F\# for Z3}

\levelup{}