| Name: | HEUR_GUIDED_DIVING |
| Type: | bool |
| Default Value: | false |
| Available Options: | true, false |
Enables or disables the Guided Diving heuristic. Can be quite expensive, so it’s off by default.
| Name: | HEUR_GUIDED_DIVING |
| Type: | bool |
| Default Value: | false |
| Available Options: | true, false |
Enables or disables the Guided Diving heuristic. Can be quite expensive, so it’s off by default.