drake (version 7.13.9)

default_parallelism: Default parallel backend [Deprecated]

Description

2019-01-02

Usage

default_parallelism()

Arguments

Value

character