X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=second.tex;h=74227511a25d9cce407ced5993e3c70505b5f9c0;hb=fc8b6c60a2187cb452e91441b3cd18e116d86d2e;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=971f4330c1fbd2ed86144fa066a0e122ee527efd;p=mc1516the.git

diff --git a/second.tex b/second.tex
index e69de29..7422751 100644
--- a/second.tex
+++ b/second.tex
@@ -0,0 +1,10 @@
+\emph{Rush Hour is a puzzle where on a 6x6 board trucks and cars are placed in
+an initial position. The goal is to move the vehicles forward and backward in
+such a way that the red car can leave the board at the exit on the right. Here
+you see a picture:. and here you find more information, including the
+possibility to play online: \url{http://thinkfun.com/products/rush-hour/}}
+
+\emph{Model the game in UPPAAL model and show how to find solutions. Make sure
+you can solve at least the following positions:}
+
+