report1/pre.tex

   1 \documentclass{article}
   2
   3 \usepackage{a4wide}
   4 \usepackage{amsmath}
   5 \usepackage{amssymb}
   6 \usepackage{listings}
   7
   8 \lstset{%
   9         breaklines,
  10         basicstyle=\scriptsize
  11 }
  12
  13 \title{Solving Sokoban with NuSMV}
  14 \author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
  15 \date{\today}