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{nicefrac
} % For diagonal fractions
9 \usepackage{booktabs
} % For nice tables
11 \everymath{\displaystyle\allowdisplaybreaks}
14 basicstyle=
\scriptsize,
15 breakatwhitespace=true,
22 showstringspaces=false,
27 \author{Mart Lubbers (s4109503)
}
28 \title{Automated reasoning Assignment
1}