| Name: | HEUR_MINLP_DIVING |
| Type: | bool |
| Default Value: | true |
| Available Options: | true, false |
Enables or disables all Diving heuristics.
| Name: | HEUR_MINLP_DIVING |
| Type: | bool |
| Default Value: | true |
| Available Options: | true, false |
Enables or disables all Diving heuristics.