Denys Duchier <denys.duchier at univ-orleans.fr> 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