path: root/sonstiges/sonstiges.tex

\section{Sonstiges}

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