See http://homepages.cwi.nl/~tromp/c4/fhour.html


How to run:
(myprompt) ./SearchGame  < inputs

The last test is the complete game, uses around 10 minutes, 
depending on the hardware.
