Open
Description
Used in random matches, but can now use the standalone dust library.
See mrc-ide/dust#333 and https://mrc-ide.github.io/dust/articles/rng.html#reusing-the-random-random-number-generator-in-other-projects-1
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests