1 \documentclass{article
}
3 \usepackage{hyperref
} % For clickable links
4 \usepackage{a4wide
} % For better page usage
5 \usepackage{float
} % For better placement of tables/figures
6 \usepackage{amsmath
} % For align
7 \usepackage{listings
} % For code snippets
8 \usepackage{booktabs
} % For nice tables
10 \everymath{\displaystyle\allowdisplaybreaks}
13 basicstyle=
\scriptsize,
14 breakatwhitespace=true,
21 showstringspaces=false,
26 \author{Mart Lubbers (s4109503)
}
27 \title{Automated reasoning Assignment
2}