ar/assignments/a.tex

   1 \section{Appendix}
   2 \begin{lstlisting}[caption={Benchmark system}]
   3 OS: Linux 3.16.0-4-amd64 #1 SMP Debian 3.16 x86_64 GNU/Linux
   4 CPU: 3600MHz AMD FX(tm)-4100 Quad-Core Processor
   5 RAM: 8GB
   6 \end{lstlisting}
   7
   8 \newpage
   9 \lstinputlisting[language=lisp,caption={a1.smt},
  10         label={listing:a1.smt}]{src/a1.smt}
  11
  12 \newpage
  13 \lstinputlisting[language=python,caption={a2.py},
  14         label={listing:a2.py}]{src/a2.py}
  15
  16 \newpage
  17 \lstinputlisting[language=python,caption={a3.py},
  18         label={listing:a3.py}]{src/a3.py}
  19
  20 \newpage
  21 \lstinputlisting[language=python,caption={a4.py},
  22         label={listing:a4.py}]{src/a4.py}