\usepackage{fullpage}
\usepackage{floatrow}
-\usepackage{lipsum}
\usepackage{enumerate}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{minted}
-\usepackage[hidelinks]{hyperref}
+\usepackage{hyperref}
\usepackage{tikz}
\author{Mart Lubbers\and Caspar Safarlou}
\everymath{\displaystyle}
\floatsetup[listing]{style=Plaintop}
+\hypersetup{
+ pdfborder={0 0 0},
+ pdftitle={Knowledge Representation and Reasoning: Assignment 1},
+ pdfauthor={Mart \& Caspar},
+ pdfsubject={Knowledge Representation and Reasoning},
+ pdfproducer={Mart Lubbers},
+ pdfkeywords={Sokoban,Planning,Prolog,Hittingsets,Conflicsets},
+ colorlinks=false
+}
+
\definecolor{mintedbackground}{rgb}{0.95,0.95,0.95}
\newmintedfile[prologcode]{prolog}{
bgcolor=mintedbackground,