From fbe0ec74adecb509cebfca0e202e144ada78abbf Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 20 Feb 2016 19:04:00 +0100
Subject: Assignment 3

---
 assignment3-leastfirst.png | Bin 0 -> 119751 bytes
 assignment3-mostfirst.png  | Bin 0 -> 82158 bytes
 assignment3.tex            |  40 ++++++++++++++++++++++++++++++++++++++++
 3 files changed, 40 insertions(+)
 create mode 100644 assignment3-leastfirst.png
 create mode 100644 assignment3-mostfirst.png
 create mode 100644 assignment3.tex

diff --git a/assignment3-leastfirst.png b/assignment3-leastfirst.png
new file mode 100644
index 0000000..d31ce96
Binary files /dev/null and b/assignment3-leastfirst.png differ
diff --git a/assignment3-mostfirst.png b/assignment3-mostfirst.png
new file mode 100644
index 0000000..ce80e25
Binary files /dev/null and b/assignment3-mostfirst.png differ
diff --git a/assignment3.tex b/assignment3.tex
new file mode 100644
index 0000000..c3fc8ea
--- /dev/null
+++ b/assignment3.tex
@@ -0,0 +1,40 @@
+\documentclass[a4paper]{article}
+
+\usepackage{geometry}
+\usepackage[english]{babel}
+
+\usepackage{enumitem}
+\setenumerate[1]{label=\alph*)}
+
+\usepackage{fancyhdr}
+\renewcommand{\headrulewidth}{0pt}
+\renewcommand{\footrulewidth}{0pt}
+\fancyhead{}
+\fancyfoot[C]{Copyright {\textcopyright} 2016 Camil Staps}
+\pagestyle{fancy}
+
+\usepackage{sv}
+
+\title{Software Verification - assignment 3}
+\author{Camil Staps}
+
+\usepackage{graphicx}
+
+\begin{document}
+
+\maketitle
+\thispagestyle{fancy}
+
+\begin{center}
+  \begin{minipage}{.4\linewidth}
+    \centering
+    \includegraphics[width=.8\linewidth]{assignment3-leastfirst}
+  \end{minipage}
+  \begin{minipage}{.4\linewidth}
+    \centering
+    \includegraphics[width=.9\linewidth]{assignment3-mostfirst}
+  \end{minipage}
+\end{center}
+
+\end{document}
+
-- 
cgit v1.2.3