Searched refs:builtinSolvers (Results 1 – 1 of 1) sorted by relevance
514 std::unordered_map<std::string, SolverConfig> builtinSolvers; member in MiniZinc::BuiltinSolverConfigs674 for (const auto& sc : builtin_solver_configs().builtinSolvers) { in populate()874 builtin_solver_configs().builtinSolvers.insert(make_pair(sc.id(), sc)); in registerBuiltinSolver()