pre.tex

   1 \documentclass{article}
   2
   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
  10
  11 \everymath{\displaystyle\allowdisplaybreaks}
  12
  13 \lstset{%
  14   basicstyle=\scriptsize,
  15   breakatwhitespace=true,
  16   breaklines=true,
  17   keepspaces=true,
  18   numbers=left,
  19   numberstyle=\tiny,
  20   frame=L,
  21   showspaces=false,
  22   showstringspaces=false,
  23   showtabs=false,
  24   tabsize=2
  25 }
  26
  27 \author{Mart Lubbers (s4109503)}
  28 \title{Automated reasoning Assignment 1}
  29 \date{\today}