repositories
/
mc1516pa.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
81e71df4dbcb8529f75c8e3de02e68c519d4ff14
[mc1516pa.git]
/
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
\textsc
{
NuSMV
}}
14
\author
{
Alexander Fedotov (s4460952)
\and
Mart Lubbers (s4109503)
}
15
\date
{
\today
}