Steven Watanabe c7b6f42a5a Merge remote-tracking branch 'anton-matosov/develop' into develop		2018-10-25 17:49:47 -06:00
..
random	Merge remote-tracking branch 'anton-matosov/develop' into develop	2018-10-25 17:49:47 -06:00
nondet_random.hpp	Update random_device.	2011-02-12 18:41:28 +00:00
random.hpp	Add hyperexponential_distribution. Contributed by Marco Guazzone.	2015-04-01 10:08:06 -06:00