Searched refs:solverConfigsPath (Results 1 – 3 of 3) sorted by relevance
279 std::vector<std::string> solverConfigsPath() const;
486 for (const string& p : _solverConfigs.solverConfigsPath()) { in processOptions()
547 std::vector<std::string> SolverConfigs::solverConfigsPath() const { return _solverPath; } in solverConfigsPath() function in MiniZinc::SolverConfigs