\newchapter{MaxSAT/MaxSMT}

%TODO write something

\leveldown{}

\input{MaxSxT/min_test_Z3/main_EN}
\input{MaxSxT/min_test_OpenWBO/main_EN}
\input{MaxSxT/fault_check/main}
\input{MaxSxT/GCD_LCM/main_EN}
\input{MaxSxT/assign_problem/main_EN}
\input{MaxSxT/clique_openwbo/main}
\input{MaxSxT/polite/main}
\input{MaxSxT/pack_students/main}
\input{MaxSxT/beer_can_optimal_size}
\input{MaxSxT/assembler/main}

\levelup{}
