Searched refs:supportsFzn (Results 1 – 18 of 18) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/flatzinc/ |
| H A D | ortools.msc.in | 16 "supportsFzn": true,
|
| /dports/math/gecode/gecode-0916a1a/tools/flatzinc/ |
| H A D | gecode.msc.in | 28 "supportsFzn": true,
|
| /dports/math/minizinc-ide/MiniZincIDE-2.5.5/resources/solvers/ |
| H A D | gecode-gist.msc | 23 "supportsFzn": true,
|
| H A D | gecode.msc | 23 "supportsFzn": true,
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | solver_config.hh | 150 bool supportsFzn() const { return _supportsFzn; } in supportsFzn() function in MiniZinc::SolverConfig
152 void supportsFzn(bool b) { _supportsFzn = b; } in supportsFzn() function in MiniZinc::SolverConfig
|
| /dports/math/jacop/jacop-4.8.0/src/main/minizinc/ |
| H A D | org.jacop.msc | 14 "supportsFzn": true,
|
| /dports/math/minizinc-ide/MiniZincIDE-2.5.5/MiniZincIDE/ |
| H A D | solverdialog.h | 52 bool supportsFzn; member
|
| H A D | solverdialog.cpp | 62 supportsFzn = sj["supportsFzn"].toBool(true); in Solver()
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/en/ |
| H A D | installation_detailed_linux.rst | 76 "supportsFzn": true,
114 "supportsFzn": true,
151 "supportsFzn": true,
|
| H A D | installation_detailed_windows.rst | 72 "supportsFzn": true,
109 "supportsFzn": true,
|
| H A D | solvers.rst | 256 "supportsFzn":false,
|
| H A D | fzn-spec.rst | 1086 - ``supportsFzn`` (bool, default ``true``): Whether the solver can run FlatZinc. This should be the…
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/mzn/ |
| H A D | mzn_solverinstance.cpp | 35 sc.supportsFzn(false); in MZNSolverFactory()
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | solver.cpp | 595 } else if (sc.supportsFzn()) { in processOptions()
687 if (sc.supportsFzn()) { in processOptions()
700 if (sc.supportsFzn()) { in processOptions()
|
| H A D | solver_config.cpp | 500 oss << " \"supportsFzn\": " << (supportsFzn() ? "true" : "false") << ",\n"; in toJSON()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/nl/ |
| H A D | nl_solverinstance.cpp | 35 sc.supportsFzn(false); in NLSolverFactory()
|
| /dports/math/chuffed/chuffed-e04bedd/ |
| H A D | chuffed.msc.in | 48 "supportsFzn": true,
|
| /dports/math/minizinc/libminizinc-2.5.5/ |
| H A D | .gitlab-ci.yml | 161 …Depth limit for no-good extraction","int","128"]],"supportsMzn":false,"supportsFzn":true,"needsSol…
209 …Depth limit for no-good extraction","int","128"]],"supportsMzn":false,"supportsFzn":true,"needsSol…
|