interrupt individual goals
It would be nice to interrupt individual goals. One may try several solvers and find that one is much faster than another. In that case, one would like to remove the slow one completely. But there seems to be no way to remove something that is running, so the only choice seems to be a global interrupt. This then requires restarting everything else.