Since the Eternity II contest is over, I have deciced to publish the source code of the software used on the website.
This is version 3.1, which is the last version on which I worked alone.
The following versions (4.0 and 4.1) were the result of a collaboration with Louis and I am not the author of the resolution algorithm.
Here is a quick procedure to build the software under Debian GNU/Linux:
sudo apt-get install make gcc libsdl1.2-dev libsdl-image1.2-dev libsdl-gfx1.2-dev libcurl4-openssl-dev
tar zxvf e2-3.1.tar.gz
The SDL library is used for the graphical user interface, the cURL library is used for network communications.
For your information, this software reached a score of 466 points on august 16th 2008 using the following coefficients:
coeff1 = 192.556 ; coeff2 = 11.0950 ; coeff3 = 1.82131 ; coeff4 = 18.9468 ; coeff5 = 13.9437