Dear all, The toplevel header files to be included (gecode-*) are now available without the gecode- prefix. This is as Gecode will always be installed in a gecode subdirectory. Christian