\myheading{\ac{SMT}-solvers}

\leveldown{}

\renewcommand{\CURPATH}{basics/SMT}

% subsections:
\input{\CURPATH/eq1}
\input{\CURPATH/eq2}
\input{\CURPATH/declare-fun}
\input{\CURPATH/SAT_and_SMT}
\input{\CURPATH/ref}
\input{\CURPATH/theory}
\input{\CURPATH/modulo_theories}
\input{\CURPATH/div_by_0}
\input{\CURPATH/list}
\input{\CURPATH/z3_specific}

\levelup{}