final bijna

[ar1516.git] / 2.tex

diff --git a/2.tex b/2.tex
index ace6512..a8fdc66 100644 (file)
--- a/2.tex
+++ b/2.tex
@@ -98,10 +98,11 @@ power components and only regular components.
 
 \subsection{SMT format solution}
 The formula is easily convertable via a Python script to SMT format by literal
-conversion and said script is listed in Listing~\ref{listing:a2.py}. The Python
-script optimizes a little bit from the original formula by leaving out the
-overlap checking between the same components. The solution is calculated using
-the command shown in Listing~\ref{listing:2.bash}
+conversion and said script is listed in Listing~\ref{listing:a2.bash}. The
+Python script optimizes a little bit from the original formula by leaving out
+the overlap checking between the same components. The solution is calculated
+using the command shown in Listing~\ref{listing:2.bash} and visualized with the
+python script shown in Listing~\ref{listing:a2.py}
 
 \lstinputlisting[language=bash,
        caption={Find the shortest solution for problem 3},
@@ -111,6 +112,8 @@ the command shown in Listing~\ref{listing:2.bash}
 Finding this solution takes less then $35$ seconds and is shown in
 Table~\ref{tab:s2}.
 
+The bold items represent the power components.
+
 \begin{table}[H]
        \centering
        \input{a2.tex}