Heuristics
- Type
Selection
- Range
The settings listed below
- Default
On
This option can be used to switch on or off all heuristics. Then you can set individual ones off or on. The local tree heuristic is not included as it dramatically alters the search. Possible values are:
Off
On
Learn more about