Searched defs:numSols (Results 1 – 3 of 3) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/ | ||
| H A D | mzn_solverinstance.hh | 22 int numSols = 1; member in MiniZinc::MZNSolverOptions |
| H A D | fzn_solverinstance.hh | 25 int numSols = 1; member in MiniZinc::FZNSolverOptions |
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ | ||
| H A D | ast.hh | 1954 ASTString numSols; member |