Home
last modified time | relevance | path

Searched defs:solutionLimit (Results 1 – 6 of 6) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/samples/
H A DNursesSat.java118 final int solutionLimit = 5; in main() local
164 private final int solutionLimit; in main() field in NursesSat.VarArraySolutionPrinterWithLimit
H A DStopAfterNSolutionsSampleSat.java50 private final int solutionLimit; field in StopAfterNSolutionsSampleSat.VarArraySolutionPrinterWithLimit
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/search/
H A DTransformExtensional.java66 public int solutionLimit = 10000; field in TransformExtensional
H A DSimpleSolutionListener.java71 public int solutionLimit = -1; field in SimpleSolutionListener
/dports/games/ksudoku/ksudoku-21.12.3/src/generator/
H A Ddlxsolver.cpp236 int solutionLimit) in solveSudoku()
374 int solutionLimit) in solveMathdoku()
525 int DLXSolver::solveDLX (int solutionLimit) in solveDLX()
/dports/math/minizinc-ide/MiniZincIDE-2.5.5/MiniZincIDE/
H A Dmainwindow.h294 int solutionLimit; variable