Program sometimes hangs on shutdown

[erickim555]

Sometimes, quitting the UI won't terminate the program. I suspect a solver thread is mistakenly kept running, which prevents the program from shutting down.