1 \documentclass{article
}
10 basicstyle=
\scriptsize
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)
}