1 \documentclass{article
}
6 \usepackage[a4paper]{geometry
}
12 basicstyle=
\scriptsize
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)
}