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},label={listing:a1.smt}]{src/1.smt}
  10
  11 \newpage
  12 \lstinputlisting[language=python,caption={a2.py},label={listing:2.py}]{src/2.py}
  13
  14 \newpage
  15 \lstinputlisting[language=python,caption={a4.py},label={listing:4.py}]{src/4.py}