report/report.tex

   1 \documentclass[titlepage,a4paper]{article}
   2
   3 \usepackage{fullpage}
   4 \usepackage{floatrow}
   5 \usepackage{enumerate}
   6 \usepackage{amsmath}
   7 \usepackage{amssymb}
   8 \usepackage{minted}
   9 \usepackage{hyperref}
  10 \usepackage{tikz}
  11
  12 \author{Mart Lubbers\and Caspar Safarlou}
  13 \title{Knowledge Representation and Reasoning.\\Assignment 1}
  14 \date{\today}
  15
  16 \usetikzlibrary{trees}
  17 \tikzstyle{level 1}=[level distance=1cm, sibling distance=1cm]
  18 \tikzstyle{level 2}=[level distance=1cm, sibling distance=1cm]
  19 \tikzstyle{bag} = [text width=4em, text centered]
  20 \tikzstyle{end} = [minimum width=3pt, inner sep=0pt]
  21
  22 \everymath{\displaystyle}
  23 \floatsetup[listing]{style=Plaintop}
  24
  25 \hypersetup{
  26         pdfborder={0 0 0},
  27         pdftitle={Knowledge Representation and Reasoning: Assignment 1},
  28         pdfauthor={Mart \& Caspar},
  29         pdfsubject={Knowledge Representation and Reasoning},
  30         pdfproducer={Mart Lubbers},
  31         pdfkeywords={Sokoban,Planning,Prolog,Hittingsets,Conflicsets},
  32         colorlinks=false
  33 }
  34
  35 \definecolor{mintedbackground}{rgb}{0.95,0.95,0.95}
  36 \newmintedfile[prologcode]{prolog}{
  37         bgcolor=mintedbackground,
  38         fontfamily=tt,
  39         fontsize=\scriptsize,
  40         frame=leftline,
  41         framerule=0.4pt,
  42         framesep=2mm,
  43         funcnamehighlighting=true,
  44         gobble=0,
  45         linenos=true,
  46         mathescape=false
  47         numberblanklines=true,
  48         numbersep=10pt,
  49         numbersep=5pt,
  50         obeytabs=false,
  51         showspaces=false,
  52         showtabs =false,
  53         tabsize=4,
  54         texcl=false,
  55 }
  56
  57 \begin{document}
  58 \maketitle
  59 \tableofcontents
  60
  61 \section{Assignment 1-1}
  62 \input{ass1.tex}
  63
  64 \section{Assignment 1-2}
  65 \input{ass2.tex}
  66
  67 \section{Additions}
  68 \input{additions.tex}
  69
  70 \section{Appendices}
  71 \input{appendix.tex}
  72
  73 \end{document}