\documentclass{article}

\usepackage{hyperref}	% For clickable links
\usepackage{a4wide}	% For better page usage
\usepackage{float}	% For better placement of tables/figures
\usepackage{amsmath}	% For align
\usepackage{listings}	% For code snippets
\usepackage{nicefrac}	% For diagonal fractions
\usepackage{booktabs}	% For nice tables

\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}
