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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
