\section{SMT (satisfiability modulo theory)}

\input{smt/basic}
\input{smt/lineq}
\input{smt/lp}
\input{smt/poly}
\input{smt/elim}
\input{smt/weiter}
\input{smt/mip}
\input{smt/motiv}
\input{smt/simul}
\input{smt/dpll}


