rlberry.seeding.set_external_seed

rlberry.seeding.set_external_seed(seeder)

Set seeds of external libraries.

To do:

Check (torch seeding): https://github.com/pytorch/pytorch/issues/7068#issuecomment-487907668

Parameters

seeder: seeding.Seeder or int

Integer or Seeder object from which to generate random seeds.

Examples

>>> from rlberry.seeding import set_external_seed
>>> set_external_seed(seeder)