repositories
/
mc1516pa.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
76bc837642b59ce7fdb8c2b87919d621d573cffc
[mc1516pa.git]
/
report1
/
pre.tex
1
\documentclass
{
article
}
2
3
\usepackage
{
a4wide
}
4
5
\title
{
Solving Sokoban with NuSMV
}
6
\author
{
Alexander Fedotov(s4460952)
\and
Mart Lubbers(s4109503)
}
7
\date
{
\today
}