a2/pre.tex

   1 \documentclass{article}
   2
   3 \usepackage{a4wide}
   4 \usepackage{amsmath}
   5 \usepackage{array}
   6 \usepackage{booktabs}
   7 \usepackage{enumerate}
   8 \usepackage{float}
   9 \usepackage{graphicx}
  10 \usepackage{hyperref}
  11 \usepackage{listings}
  12 \usepackage{multirow}
  13 \usepackage{xypic}
  14
  15 \everymath{\displaystyle}
  16
  17 \lstset{keepspaces=true,captionpos=b,basicstyle=\scriptsize\ttfamily}
  18
  19 \CompileMatrices
  20
  21 \author{Mart Lubbers (s4109503)}
  22 \title{Automated reasoning Assignment $2$}
  23 \date{\today}