\section{Software zur SAT-Kodierung}

\input{satchmo/intro}
\input{satchmo/basic}
\input{satchmo/extra}
\input{satchmo/decode}
\input{satchmo/relation}
% \input{satchmo/graph}
% \input{satchmo/binary}

