Initial commit

2 files changed, 34 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..14cf9c4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,10 @@
+*.out
+*.toc
+*.snm
+*.nav
+*.aux
+*.synctex.gz
+*.log
+*.vrb
+.*.sw?
+*.pdf
diff --git a/part1.tex b/part1.tex
new file mode 100644
index 0000000..45279ff
--- /dev/null
+++ b/part1.tex
@@ -0,0 +1,24 @@
+\documentclass[12pt]{article}
+\usepackage{a4wide}
+\usepackage{latexsym}
+\usepackage{amssymb}
+\usepackage{epic}
+\usepackage{graphicx}
+%\pagestyle{empty}
+\newcommand{\tr}{\mbox{\sf true}}
+\newcommand{\fa}{\mbox{\sf false}}
+\newcommand{\bimp}{\leftrightarrow}     % bi-implication
+
+\title{Assignment part 1 for Automated Reasoning 2IMF25}
+\author{Koen van der Heijden, Peter Wu}
+\date{\today}
+
+\begin{document}
+\maketitle
+
+\section*{Problem: Trucks}
+
+
+\subsection*{Solution:}
+
+\end{document}