doc-src/Functions/conclusion.tex

make sure the SMT solver runs several iterations by lowering the timeout at each iteration -- yields better results in practice

\section{Conclusion}

\fixme{}