Initial commit

1 files changed, 24 insertions, 0 deletions

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}