Vivian De Smedt <[email protected]> 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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
