[gecode-users] How to set an arbitrary RandomGenerator for randomized branching?!?

[Guido Tack]

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