factor/extra/random
Doug Coleman b3527a17df redo random/ 2008-03-19 16:18:03 -05:00
..
blum-blum-shub redo random/ 2008-03-19 16:18:03 -05:00
dummy redo random/ 2008-03-19 16:18:03 -05:00
mersenne-twister redo random/ 2008-03-19 16:18:03 -05:00
unix redo random/ 2008-03-19 16:18:03 -05:00
windows redo random/ 2008-03-19 16:18:03 -05:00
random.factor redo random/ 2008-03-19 16:18:03 -05:00