report2/pre.tex

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