\documentclass{article}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{booktabs}
\usepackage[a4paper]{geometry}
\usepackage{graphicx}
\usepackage{listings}

\lstset{%
	breaklines,
	basicstyle=\scriptsize
}

\title{Solving Sokoban using BDDs powered by
	\textsc{Sylvan}~\footnote{https://github.com/utwente-fmt/sylvan}}
\author{Alexander Fedotov (s4460952)\and Mart Lubbers (s4109503)}
\date{\today}
