lemon/random.cc
Mon, 02 Oct 2006 16:11:00 +0000 Mersenne Twister random number generator