report2/pre.tex

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