[gecode-users] Random Distributions (INT_VAL_RAND)

[negate273 at gmail.com]

Are there any implementations for different random distributions for integer *value* selection, besides the uniform distribution supported by INT_VAL_RND() ? For Eg. I’d like the values to be distributed based on a normal distribution or maybe a logarithmic distribution. 
If not, can you point me to some code which would be a good starting point to implement such a value selection method, as I’m not sure where the implementation for INT_VAL_RND exists ? Is it in gecode/int/branch/val-sel-commit.cpp ?
There was a thread in May 2009 titled “How to set an arbitrary RandomGenerator for randomized branching”, but  not sure if it ever got implemented ?

Thanks, ~az