name

The name of the Automated Reasoning policy.