Method currentSolverConfigName

MiniZincIDE/mainwindow.cpp:1394–1397

}

QString MainWindow::currentSolverConfigName(void) {
    SolverConfiguration* sc = getCurrentSolverConfig();
    return sc ? sc->name() : "None";
}

void MainWindow::procFinished(int exitCode, qint64 time) {
    procFinished(exitCode);