[Gecode] We just merged Sets.

[Gabor Szokoli]

Hello!

We merged our Finite Set development branch back to head today.
Among other things, this includes our autoconf/automake based build 
system that can produce static libraries under Linux and Cygwin with gcc 
or the intel compiler.

We'll harmonise it with Christians ongoing DLL building efforts, but for 
now you have to get rid of all dllinport/export declarations for it to 
work under cygwin.

As a sidenote, we can build dynamic libraries under Linux if statistics 
are disabled (nasty uninitialised global state there...)

The main modification to the core system is the controlled 
initialisation of Variable::vmb so applications that do not link both 
int and set  support still work.

The curious can try the examples we added...


Gabor & Guido