(Shortest import: from brian2 import seed)
from brian2 import seed)
Set the seed for the random number generator.