xla
Added ability to reset RNG seed.
#355
Merged

Added ability to reset RNG seed. #355

dlibenzi merged 1 commit into master from seedy
dlibenzi
dlibenzi Added ability to reset RNG seed.
3ed0fb18
dlibenzi dlibenzi requested a review from asuhan asuhan 6 years ago
asuhan
asuhan approved these changes on 2019-02-26
dlibenzi dlibenzi merged 9b3c91a5 into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone