Closed GoogleCodeExporter closed 9 years ago
OK. In the end I decided to bite the bullet and just write a random number
generator.
It is good enough for the required uses and provides a deterministic behavior
even on windows.
Original comment by theraysm...@gmail.com
on 25 Apr 2014 at 1:00
This issue was closed by revision r1082.
Original comment by theraysm...@gmail.com
on 25 Apr 2014 at 1:07
Original issue reported on code.google.com by
nick.wh...@durham.ac.uk
on 14 Mar 2014 at 5:47Attachments: