Hi, if you insist on using gcc with cygwin, you should consider the "-mno- cygwin" option. Otherwise, Gecode will link against the cygwin libraries instead of the Windows libraries, and the resulting executable is terribly slow. I think it has something to do with the memory management in the cygwin libraries. Cheers, Guido