Enjoy a brand-new, colourful version of Marco's logo at http://www.gecode.org/gecode-logo-mkgt/ Guido -- Guido Tack Programming Systems Lab http://www.ps.uni-sb.de/~tack