1 \documentclass{article
}
3 \usepackage{hyperref
} % For clickable links
4 \usepackage{a4wide
} % For better page usage
5 \usepackage{booktabs
} % For nice tables
6 \usepackage{enumerate
} % For nice tables
7 \usepackage{amsmath
} % For nice tables
8 \usepackage{listings
} % For nice tables
9 \usepackage{float
} % For nice tables
13 \everymath{\displaystyle}
15 \lstset{keepspaces=true,captionpos=b,basicstyle=
\ttfamily}
17 \author{Mart Lubbers (s4109503)
}
18 \title{Automated reasoning Assignment
2}