option random_seed
Default: 0
Sets the random number generator seed.
Keyword:
random
Appears in:
Delta
Dopfib