# ArangoDB Server Random Options

## Random Number Generator

`random.generator`

Defines the type of random number generator to use.