+++ /dev/null
-\documentclass{article}
-
-\usepackage{hyperref}
-\usepackage{a4wide}
-\usepackage{bm}
-\usepackage{float}
-\usepackage{graphicx}
-\usepackage{amsmath}
-\usepackage{listings}
-\usepackage{nicefrac}
-
-\everymath{\displaystyle\allowdisplaybreaks}
-
-\lstset{%
- basicstyle=\scriptsize,
- breakatwhitespace=true,
- breaklines=true,
- keepspaces=true,
- numbers=left,
- numberstyle=\tiny,
- frame=L,
- showspaces=false,
- showstringspaces=false,
- showtabs=false,
- tabsize=2
-}
-
-\author{Mart Lubbers (s4109503)}
-\title{Automated reasoning Assignment 1}
-\date{\today}