\documentclass{article}

\usepackage{a4wide}
\usepackage{amsmath}
\usepackage{array}
\usepackage{booktabs}
\usepackage{enumerate}
\usepackage{graphicx}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{multirow}
\usepackage{xypic}

\everymath{\displaystyle}

\lstset{keepspaces=true,captionpos=b,basicstyle=\scriptsize\ttfamily}

\CompileMatrices

\author{Mart Lubbers (s4109503)}
\title{Automated reasoning Assignment $2$} 
\date{\today}
