ArangoDB Server Random Options

Random Number Generator

random.generator

Defines the type of random number generator to use.