Stop command (Menubar)

The Stop command is used to terminate long running commands such as the Solve command or the Lin Kernighan Union command from the Heuristics menu.

Long running commands are executed in their own thread. Whenever they print information to the Output pane they check whether they need to terminate. They abort if the user executed the Stop command since the last time text was printed. Since long running threads tend to print infrequently it may take a bit of time to stop their execution.