ar/assignments/preamble.tex

   1 \documentclass{article}
   2
   3 \usepackage{hyperref}
   4 \usepackage{a4wide}
   5 \usepackage{bm}
   6 \usepackage{float}
   7 \usepackage{graphicx}
   8 \usepackage{amsmath}
   9 \usepackage{listings}
  10 \usepackage{nicefrac}
  11
  12 \everymath{\displaystyle\allowdisplaybreaks}
  13
  14 \lstset{%
  15   basicstyle=\scriptsize,
  16   breakatwhitespace=true,
  17   breaklines=true,
  18   keepspaces=true,
  19   numbers=left,
  20   numberstyle=\tiny,
  21   frame=L,
  22   showspaces=false,
  23   showstringspaces=false,
  24   showtabs=false,
  25   tabsize=2
  26 }
  27
  28 \author{Mart Lubbers (s4109503)}
  29 \title{Automated reasoning Assignment 1}
  30 \date{\today}