report2/pre.tex

   1 \documentclass{article}
   2
   3 \usepackage{amsmath}
   4 \usepackage{amssymb}
   5 \usepackage{algorithm2e}
   6 \usepackage{booktabs}
   7 \usepackage[a4paper]{geometry}
   8 \usepackage{graphicx}
   9 \usepackage{listings}
  10
  11 \lstset{%
  12         breaklines,
  13         basicstyle=\scriptsize
  14 }
  15
  16 \title{Solving Sokoban using BDDs powered by
  17         \textsc{Sylvan}~\footnote{https://github.com/utwente-fmt/sylvan}}
  18 \author{Alexander Fedotov (s4460952)\and Mart Lubbers (s4109503)}
  19 \date{\today}