Get started
Tasks
Developer guides
Framework guides
API
set_random_seed()
Other information
Sets the seed of random generators.