a2/pre.tex

   1 \documentclass{article}
   2
   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
  10 \usepackage{graphicx}
  11 \usepackage{xypic}
  12
  13 \everymath{\displaystyle}
  14
  15 \lstset{keepspaces=true,captionpos=b,basicstyle=\ttfamily}
  16
  17 \author{Mart Lubbers (s4109503)}
  18 \title{Automated reasoning Assignment 2}
  19 \date{\today}