Home
last modified time | relevance | path

Searched refs:solverConfigsPath (Results 1 – 3 of 3) sorted by relevance

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/
H A Dsolver_config.hh279 std::vector<std::string> solverConfigsPath() const;
/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Dsolver.cpp486 for (const string& p : _solverConfigs.solverConfigsPath()) { in processOptions()
H A Dsolver_config.cpp547 std::vector<std::string> SolverConfigs::solverConfigsPath() const { return _solverPath; } in solverConfigsPath() function in MiniZinc::SolverConfigs