\end{itemize}
\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:a3.py}. The Python
+The formula is easily convertable via a script to SMT format by literal
+conversion and said script is listed in Listing~\ref{listing:a3.bash}. The
script optimizes a little bit from the original formula by leaving out the
shared resource checking for the same jobs. The minimization is done by
incrementing variable $T$ every time the current $T$ yields unsat with a bash
script shown in Listing~\ref{listing:3.bash}.
-\lstinputlisting[language=bash,
+\lstinputlisting[language=bash,firstline=46,
caption={Iteratively find the shortest solution for problem 3},
label={listing:3.bash}]{src/a3.bash}