+All subformulas describe a constraint from the problem description and can be
+separated in three groups. Subformulas going over all components, only power
+components and only regular components.
+\begin{itemize}
+ \item\textbf{All}
+ \begin{enumerate}
+ \setcounter{enumi}{7}
+ \item Describes that the width and the height of the component can be
+ swapped(in case of rotation).
+ \item Constrains location of the components in regard to the size of
+ the chip.
+ \item Makes sure the components do not overlap by defining for all
+ pairs of components that they either are strictly right, strictly
+ left, strictly above or strictly below the other.
+ \end{enumerate}
+ \item\textbf{Power only}
+ \begin{enumerate}
+ \setcounter{enumi}{10}
+ \item Power components must be at least $17$ block away from
+ other power components. This is defined by saying that the
+ difference between the center of each pair of components is
+ bigger then $17$.
+ \end{enumerate}
+ \item\textbf{Regular only}
+ \begin{enumerate}
+ \setcounter{enumi}{11}
+ \item Regular components must be connected to a power
+ components. This is described using the method from the
+ overalap calculation in a negated way. Every regular
+ component must have overlap with a power component that
+ has been enlarged by $1$.
+ \end{enumerate}
+\end{itemize}
+