Martin Mann wrote:
> Is there a possibility to support user defined generators? e.g. in
> coming versions?
>
> If not available right now, maybe you like the following suggestion:
[...]
A problem with your approach is that a global random number generator
doesn't work in a multi-threaded setting (you don't want to lock
access to it, I think). One would at least have to have it per thread.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
