Denys Duchier <[email protected]> writes: > darn! you're right! there is no flush() in that version. oops! > I'll fix it soon. thanks for the report!
fixed on launchpad (lp:gecode-python)! Cheers, --Denys _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
