Vivian De Smedt <vivian at vdesmedt.com> writes: > Thanks for your message. > I have installed gecode 3.7.1 and now it seems to work fine. > > The moral is that the version 2.2 don't work with gecode 3.6.0 darn! you're right! there is no flush() in that version. oops! I'll fix it soon. thanks for the report! Cheers, --Denys