Method defaultSolver

MiniZincIDE/process.cpp:226–234

}

Solver* MznDriver::defaultSolver(void)
{
    for (auto* solver : solvers()) {
        if (solver->isDefaultSolver) {
            return solver;
        }
    }
    return nullptr;
}

void MznDriver::setDefaultSolver(const Solver& s)
{