Christian Schulte <cschulte@...> writes: Hi again,
There is one thing I forgot to say: we intend to release end of this week (hopefully). So if your patch arrives until then, it'll be included in the next version. Cheers Christian _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
