\section{Sonstiges}

\subsection{2-SAT}
\lstinputlisting{sonstiges/2sat.cpp}