Method getCurrentSolverConfig

MiniZincIDE/mainwindow.cpp:2694–2697

}

SolverConfiguration* MainWindow::getCurrentSolverConfig()
{
    return ui->config_window->currentSolverConfig();
}

const Solver* MainWindow::getCurrentSolver()
{