Hi Guido, > You may have run into a problem with the latest version of the GCC > compiler. You can try compiling the current svn trunk, Thanks, that fixed it! I have gcc (GCC) 6.3.1 20161221 (Red Hat 6.3.1-1) and gecode trunk (rev 15370) seems to work fine now. Best regards, Johannes.