\section{Gleichheits-Constraints}

\input{eq/intro}
\input{eq/plan}
\input{eq/graph}
\input{eq/simplify}
\input{eq/reduce}
\input{eq/perfect}
\input{eq/small}

