ar ex1 done

[master.git] / ar / assignments / ar.aux

diff --git a/ar/assignments/ar.aux b/ar/assignments/ar.aux
deleted file mode 100644 (file)
index f75a08e..0000000
--- a/ar/assignments/ar.aux
+++ /dev/null
@@ -1,25 +0,0 @@
-\relax 
-\@writefile{toc}{\contentsline {section}{\numberline {1}Problem 1}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Formal definition}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}SMT format solution}{2}}
-\newlabel{listing:1bash}{{1}{2}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}Iteratively find the largest solution}{2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Solution}{2}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}Problem 4}{3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Formal definition}{3}}
-\@writefile{toc}{\contentsline {paragraph}{Precondition}{3}}
-\newlabel{eq:4pre}{{1}{3}}
-\@writefile{toc}{\contentsline {paragraph}{Program}{3}}
-\newlabel{eq:4pro}{{2}{3}}
-\@writefile{toc}{\contentsline {paragraph}{Postcondition}{3}}
-\newlabel{eq:4pst}{{3}{3}}
-\@writefile{toc}{\contentsline {paragraph}{Total}{3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}SMT format solution}{3}}
-\newlabel{listing:4bash}{{2}{3}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Iteratively find the shortest solution}{3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Solution}{4}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}Appendix}{4}}
-\newlabel{listing:a1.smt}{{3}{5}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}a1.smt}{5}}
-\newlabel{listing:4.py}{{4}{6}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}a4.py}{6}}