Method stop

MiniZincIDE/mainwindow.cpp:2884–2887

}

void MainWindow::stop()
{
    ui->actionStop->trigger();
}

void MainWindow::on_actionShow_search_profiler_triggered()
{