Source
num mutate_strategy(num stdev) { m.Random r = new m.Random(); num stdchild = stdev * m.exp(r.nextDouble() + r.nextDouble()); return stdchild; }
num mutate_strategy(num stdev) { m.Random r = new m.Random(); num stdchild = stdev * m.exp(r.nextDouble() + r.nextDouble()); return stdchild; }