final ar

[master.git] / ar / assignment1 / 3.tex

diff --git a/ar/assignment1/3.tex b/ar/assignment1/3.tex
index cf68821..457c1e9 100644 (file)
--- a/ar/assignment1/3.tex
+++ b/ar/assignment1/3.tex
@@ -50,14 +50,14 @@ definition.
 \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}